This commit was manufactured by cvs2svn to create branch 'moogle'.

[helm.git] / helm / ocaml / cic_transformations / contentTable.mli

diff --git a/helm/ocaml/cic_transformations/contentTable.mli b/helm/ocaml/cic_transformations/contentTable.mli
deleted file mode 100644 (file)
index bce8779..0000000
--- a/helm/ocaml/cic_transformations/contentTable.mli
+++ /dev/null
@@ -1,6 +0,0 @@
-
-val lookup_symbol:
-  string ->
-   (Cic.id -> Cic.id -> Cic.annterm list -> (Cic.annterm -> CicAst.term) ->
-     CicAst.term)
-