X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_omdoc%2Fcic2acic.mli;h=9cef0cb38155a164403d1f909b2dd6970088336e;hb=b38de2d3fa8bbe346c59c18bbeb889f29e493f63;hp=4f686da443ef71b1cc2a4a869aa855f4b3a71a80;hpb=2e062d07e358eb95f0dcbec8fcdfbc2a4fb9ae1f;p=helm.git

diff --git a/helm/ocaml/cic_omdoc/cic2acic.mli b/helm/ocaml/cic_omdoc/cic2acic.mli
index 4f686da44..9cef0cb38 100644
--- 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