first moogle template checkin

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

diff --git a/helm/ocaml/cic_disambiguation/tex_notation.ml b/helm/ocaml/cic_disambiguation/tex_notation.ml
index 09120c449442ef9494f38609378759a5f8dab5ca..cd0f47282ea73fec12f2715f807baba884194bb4 100644 (file)
--- a/helm/ocaml/cic_disambiguation/tex_notation.ml
+++ b/helm/ocaml/cic_disambiguation/tex_notation.ml
@@ -44,3 +44,4 @@ EXTEND
     ];
 END
 
+(* vim:set encoding=utf8: *)