From b1e02a9df5f341b5e1298085df0aef70f11ae424 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 9 Nov 2008 12:41:34 -0500
Subject: Remove an extra line

---
 src/especialize.sml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/especialize.sml b/src/especialize.sml
index cc583044..d6af4e04 100644
--- a/src/especialize.sml
+++ b/src/especialize.sml
@@ -314,5 +314,4 @@ fun specialize file =
             file
     end
 
-
 end
-- 
cgit v1.2.3