added default for matita.noiinertypes

[helm.git] / components / syntax_extensions / README.syntax

diff --git a/components/syntax_extensions/README.syntax b/components/syntax_extensions/README.syntax
index 210ecc0954bd0033d3e2f7d2ffa05c89a85e8d1f..eddc7f45b93618f21dd913064c77a08358ca1768 100644 (file)
--- a/components/syntax_extensions/README.syntax
+++ b/components/syntax_extensions/README.syntax
@@ -11,5 +11,5 @@ Sample file:
 
 Compile it with:
 
-  ocamlfind ocamlc -package helm-utf8_macros -syntax camlp4o test.ml
+  ocamlfind ocamlc -package helm-utf8_macros -syntax camlp5o test.ml