* 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 bc174d12196e50d2df8be84af126e18e84c87e4b..b34d34342981c17c50436f97c2c12338bf63a71e 100644 (file)
--- a/helm/gTopLevel/cic2acic.mli
+++ b/helm/gTopLevel/cic2acic.mli
@@ -23,10 +23,11 @@
  * http://cs.unibo.it/helm/.
  *)
 
-exception NotImplemented
 exception NotEnoughElements
 exception NameExpected
 
+val source_id_of_id : string -> string
+
 type anntypes =
  {annsynthesized : Cic.annterm ; annexpected : Cic.annterm option}
 ;;