X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=memoizer.mli;fp=memoizer.mli;h=0000000000000000000000000000000000000000;hb=9f227961ae2219728e4cdd56e4d4c4e7165e4306;hp=dfba383d160fc3cfd949ae0c1fa80d684fe1c164;hpb=ded94d764331b3ff91f9d5748ec257df4f9d36a7;p=SXSI%2Fxpathcomp.git

diff --git a/memoizer.mli b/memoizer.mli
deleted file mode 100644
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