ocaml 3.09 transition

[helm.git] / helm / ocaml / cic_notation / cicNotationPt.ml

diff --git a/helm/ocaml/cic_notation/cicNotationPt.ml b/helm/ocaml/cic_notation/cicNotationPt.ml
index d889b0981432ba0d7df18189190639e76306b2ab..ac6a0edbd1a37a9e1684a4089b9fd8849a3e3342 100644 (file)
--- a/helm/ocaml/cic_notation/cicNotationPt.ml
+++ b/helm/ocaml/cic_notation/cicNotationPt.ml
@@ -41,7 +41,7 @@ let fail floc msg =
 
 type href = UriManager.uri
 
-type child_pos = [ `None | `Left | `Right | `Inner ]
+type child_pos = [ `Left | `Right | `Inner ]
 
 type term_attribute =
   [ `Loc of location                  (* source file location *)