X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_notation%2FcicNotationPt.ml;h=ac6a0edbd1a37a9e1684a4089b9fd8849a3e3342;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=d889b0981432ba0d7df18189190639e76306b2ab;hpb=dfdff98e4417bae54fcf31d49c8a4d718c4487c2;p=helm.git

diff --git a/helm/ocaml/cic_notation/cicNotationPt.ml b/helm/ocaml/cic_notation/cicNotationPt.ml
index d889b0981..ac6a0edbd 100644
--- 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 *)