NameExpected exception removed. The "identifier" __n is now returned

[helm.git] / helm / ocaml / cic_omdoc / cic2acic.mli

diff --git a/helm/ocaml/cic_omdoc/cic2acic.mli b/helm/ocaml/cic_omdoc/cic2acic.mli
index 4f686da443ef71b1cc2a4a869aa855f4b3a71a80..9cef0cb38155a164403d1f909b2dd6970088336e 100644 (file)
--- a/helm/ocaml/cic_omdoc/cic2acic.mli
+++ b/helm/ocaml/cic_omdoc/cic2acic.mli
@@ -24,7 +24,6 @@
  *)
 
 exception NotEnoughElements
-exception NameExpected
 
 val source_id_of_id : string -> string