X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fsyntax_extensions%2FREADME.syntax;h=eddc7f45b93618f21dd913064c77a08358ca1768;hb=24dd4569daf1d35bffaa813b8164058d8643f14d;hp=210ecc0954bd0033d3e2f7d2ffa05c89a85e8d1f;hpb=4cdf45f08cd95641a094312ddc558320b874fa16;p=helm.git

diff --git a/components/syntax_extensions/README.syntax b/components/syntax_extensions/README.syntax
index 210ecc095..eddc7f45b 100644
--- 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