added vim modeline for encoding=utf8

[helm.git] / helm / ocaml / cic_disambiguation / arit_notation.ml

diff --git a/helm/ocaml/cic_disambiguation/arit_notation.ml b/helm/ocaml/cic_disambiguation/arit_notation.ml
index d21c5d3a79f3c9ac2c3bfa5c2d73cae9e1eabc23..d07cc49eff819cd41965a35abe473e141bb20229 100644 (file)
--- a/helm/ocaml/cic_disambiguation/arit_notation.ml
+++ b/helm/ocaml/cic_disambiguation/arit_notation.ml
@@ -154,3 +154,5 @@ let _ =
           Cic.Appl [
             Cic.MutInd (HelmLibraryObjects.Logic.eq_URI, 0, []);
               Cic.Implicit (Some `Type); t1; t2 ] ]));
+
+(* vim:set encoding=utf8: *)