Cic2content split into Content and Cic2content.

[helm.git] / helm / gTopLevel / content2cic.mli

diff --git a/helm/gTopLevel/content2cic.mli b/helm/gTopLevel/content2cic.mli
index 75f14dd7bb159f442319bb4d80f1958d5bc23fea..74d5301820f7e1ec6c8700515ac7168f71304b2a 100644 (file)
--- a/helm/gTopLevel/content2cic.mli
+++ b/helm/gTopLevel/content2cic.mli
@@ -34,11 +34,4 @@
 
 val proof2cic : 
   (Cic.annterm -> Cic.term) ->
-  Cic.annterm Cic2content.proof -> Cic.term
-
-
-
-
-
-
-
+  Cic.annterm Content.proof -> Cic.term