remove extra newline at the end
commit2f9989086e45e1596f4912d79199490dca8fe905
authorSaurabh Rawat <eklavya@users.noreply.github.com>
dateThu 1 Oct 2015, 11:07 (11 years ago)
parent38b08c5
libs/prelude/Prelude/Strings.idr−1
@@ -379,4 +379,3 @@ nullStr : String -> IO Bool
379379nullStr p = do ok <- foreign FFI_C "isNull" (String -> IO Int) p
380380 return (ok /= 0)
381381
382−