ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-09-22 06:29:37 +03:00
Code Issues Projects Releases Wiki Activity

remove extra newline at the end

Browse Source
This commit is contained in:
Saurabh Rawat 2015-10-01 11:07:26 +05:30
parent 38b08c5116
commit 2f9989086e
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
libs/prelude/Prelude/Strings.idr
View File

@ -379,4 +379,3 @@ nullStr : String -> IO Bool
nullStr p = do ok <- foreign FFI_C "isNull" (String -> IO Int) p
return (ok /= 0)