git.iko.soy/Idris-dev
on master help sign in
remove extra newline at the end
2f99890Saurabh Rawat
libs/prelude/Prelude/Strings.idr−1
compare with master
unifiedsplit
@@ -379,4 +379,3 @@ nullStr : String -> IO Bool
379nullStr p = do ok <- foreign FFI_C "isNull" (String -> IO Int) p
379nullStr p = do ok <- foreign FFI_C "isNull" (String -> IO Int) p
380 return (ok /= 0)
380 return (ok /= 0)
381
381
382−