X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Futf8_macros%2FREADME.syntax;h=210ecc0954bd0033d3e2f7d2ffa05c89a85e8d1f;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=50bbcd325232d3fcf0b3a6bbee14213565a5cbc6;hpb=708d2e2da7e5cfae98d69b325db56960e33fd38f;p=helm.git diff --git a/helm/ocaml/utf8_macros/README.syntax b/helm/ocaml/utf8_macros/README.syntax index 50bbcd325..210ecc095 100644 --- a/helm/ocaml/utf8_macros/README.syntax +++ b/helm/ocaml/utf8_macros/README.syntax @@ -11,5 +11,5 @@ Sample file: Compile it with: - ocamlfind ocamlc -package helm-utf8_macros.syntax -syntax camlp4o test.ml + ocamlfind ocamlc -package helm-utf8_macros -syntax camlp4o test.ml