* added mysterious function (Claudio can detail on it)

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

diff --git a/helm/gTopLevel/cic2acic.mli b/helm/gTopLevel/cic2acic.mli
index 0cd607bb67888aaa05fe472c49f8af0a9da53e91..b34d34342981c17c50436f97c2c12338bf63a71e 100644 (file)
--- 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}
 ;;