X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2Fcic2acic.mli;fp=helm%2FgTopLevel%2Fcic2acic.mli;h=b34d34342981c17c50436f97c2c12338bf63a71e;hb=34320b90dd8eff0a3e14e2f15b8e3de59c49b9b4;hp=0cd607bb67888aaa05fe472c49f8af0a9da53e91;hpb=c313e16a5cc51ef7c4766aaafdf8f681eaf3d762;p=helm.git

diff --git a/helm/gTopLevel/cic2acic.mli b/helm/gTopLevel/cic2acic.mli
index 0cd607bb6..b34d34342 100644
--- a/helm/gTopLevel/cic2acic.mli
+++ b/helm/gTopLevel/cic2acic.mli
@@ -26,6 +26,8 @@
 exception NotEnoughElements
 exception NameExpected
 
+val source_id_of_id : string -> string
+
 type anntypes =
  {annsynthesized : Cic.annterm ; annexpected : Cic.annterm option}
 ;;