fix

diff --git a/helm/ocaml/cic_disambiguation/doc/precedence.txt b/helm/ocaml/cic_disambiguation/doc/precedence.txt
index f8de4d7a56b61a5a50ea37dff1aaba41dedac931..f0a91418d3f64c24a3861a23a14eaa5e68a071d9 100644 (file)
--- a/helm/ocaml/cic_disambiguation/doc/precedence.txt
+++ b/helm/ocaml/cic_disambiguation/doc/precedence.txt
@@ -5,11 +5,12 @@ Input                  Should be parsed as             Derived constraint
 \lambda x.x y          ((\lambda x.x) y)               lambda > apply
 S x = y                  (= (S x) y)                   apply  > infix operators
 \forall x.x=x         (\forall x.(= x x))             infix operators > binders
+\lambda x.x \to x    \lambda. (x \to x)                \to > \lambda
 --------------------------------------------------------------------------------
 
 Precedence total order:
 
-  lambda > apply > infix operators > binders
+  \to > lambda > apply > infix operators > binders
 
 where binders are all binders except lambda (i.e. \forall, \pi, \exists)