* .mli added where needed

[helm.git] / helm / ocaml / cic_annotations / cicAnnotation2Xml.ml

diff --git a/helm/ocaml/cic_annotations/cicAnnotation2Xml.ml b/helm/ocaml/cic_annotations/cicAnnotation2Xml.ml
index c5410b0804779f047fc2c9359c173044d74927f3..5a8adfaff77af0fabe38b4307c1e16182ac3b24b 100644 (file)
--- a/helm/ocaml/cic_annotations/cicAnnotation2Xml.ml
+++ b/helm/ocaml/cic_annotations/cicAnnotation2Xml.ml
@@ -25,9 +25,7 @@
 
 (*CSC codice cut & paste da cicPp e xmlcommand *)
 
-exception ImpossiblePossible;;
 exception NotImplemented;;
-exception BinderNotSpecified;;
 
 let dtdname = "http://www.cs.unibo.it/helm/dtd/annotations.dtd";;