X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_disambiguation%2Ftex_notation.ml;h=cd0f47282ea73fec12f2715f807baba884194bb4;hb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1;hp=09120c449442ef9494f38609378759a5f8dab5ca;hpb=8d1ad60ac8b898d29d12136642cbd0b7a1ca6018;p=helm.git

diff --git a/helm/ocaml/cic_disambiguation/tex_notation.ml b/helm/ocaml/cic_disambiguation/tex_notation.ml
index 09120c449..cd0f47282 100644
--- 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: *)