From 2f9989086e45e1596f4912d79199490dca8fe905 Mon Sep 17 00:00:00 2001
From: Saurabh Rawat <eklavya@users.noreply.github.com>
Date: Thu, 1 Oct 2015 11:07:26 +0530
Subject: [PATCH] remove extra newline at the end

---
 libs/prelude/Prelude/Strings.idr | 1 -
 1 file changed, 1 deletion(-)

diff --git a/libs/prelude/Prelude/Strings.idr b/libs/prelude/Prelude/Strings.idr
index e7b2ba021..fea00d7ca 100644
--- a/libs/prelude/Prelude/Strings.idr
+++ b/libs/prelude/Prelude/Strings.idr
@@ -379,4 +379,3 @@ nullStr : String -> IO Bool
 nullStr p = do ok <- foreign FFI_C "isNull" (String -> IO Int) p
                return (ok /= 0)
 
-