From dd38d0d1dda2be42bf280aeca110542f2f2fef1b Mon Sep 17 00:00:00 2001
From: Calvin <calvin@EESI>
Date: Tue, 28 May 2013 10:47:11 -0400
Subject: removed files

---
 src/nbc/storejudy.sml | 17 -----------------
 1 file changed, 17 deletions(-)
 delete mode 100644 src/nbc/storejudy.sml

(limited to 'src/nbc/storejudy.sml')

diff --git a/src/nbc/storejudy.sml b/src/nbc/storejudy.sml
deleted file mode 100644
index c6385be..0000000
--- a/src/nbc/storejudy.sml
+++ /dev/null
@@ -1,17 +0,0 @@
-signature STORE_JUDY = sig
-	type t
-	val load: (int * string) Sequence.t -> t
-	val get: t * string -> int option
-end
-
-structure StoreJudy :> STORE_JUDY = struct
-	type t = Judy.t
-	fun load e =
-		let
-			val j = Judy.create ()
-		in
-			Sequence.app (fn (count, nmer) => Judy.insert (j, nmer, count)) e
-			; j
-		end
-	val get = Judy.get
-end
-- 
cgit v1.2.3