# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1226252494 18000
# Node ID a0f47540d8adc91d98118b1027705d2e67f4d88a
# Parent  9117a7bf229c4f5326e229ef99bad4466ca4b996
Remove an extra line

diff -r 9117a7bf229c -r a0f47540d8ad src/especialize.sml
--- a/src/especialize.sml	Sun Nov 09 11:53:52 2008 -0500
+++ b/src/especialize.sml	Sun Nov 09 12:41:34 2008 -0500
@@ -314,5 +314,4 @@
             file
     end
 
-
 end