From 6e402722a7f27c8655c060a3901318c84a9445b6 Mon Sep 17 00:00:00 2001
From: Martin Elsman <martin.elsman@gmail.com>
Date: Wed, 21 Nov 2012 13:22:24 +0100
Subject: [PATCH] small fix

---
 unicode.mlb | 1 -
 1 file changed, 1 deletion(-)

diff --git a/unicode.mlb b/unicode.mlb
index 42191d1..d12098e 100644
--- a/unicode.mlb
+++ b/unicode.mlb
@@ -5,5 +5,4 @@ in
   Utf8.sml
   UNICODE_CHARS.sig
   UnicodeChars.sml
-  unicode.sml
 end
\ No newline at end of file