Safety commit

[SXSI/xpathcomp.git] / memoizer.mli

diff --git a/memoizer.mli b/memoizer.mli
deleted file mode 100644 (file)
index dfba383..0000000
--- a/memoizer.mli
+++ /dev/null
@@ -1,5 +0,0 @@
-module Make (H : Hashtbl.S) :
-sig
-  val make : (H.key -> 'a) -> H.key -> 'a
-  val make_rec : ((H.key -> 'a) -> H.key -> 'a) -> H.key -> 'a
-end