- static disambiguation of Automath unified binders

[helm.git] / helm / software / helena / src / common / marks.ml

diff --git a/helm/software/helena/src/common/marks.ml b/helm/software/helena/src/common/marks.ml
index 5b45cc79f24a8cb8657e918b34ce938c7dff964a..b376a2c51d196eea552e399dfcdc8a181d9e86eb 100644 (file)
--- a/helm/software/helena/src/common/marks.ml
+++ b/helm/software/helena/src/common/marks.ml
@@ -11,7 +11,7 @@
 
 type mark = int
 
-let mark = ref 1
+let mark = ref 0
 
 (* interface functions ******************************************************)