From: Stefano Zacchiroli Date: Mon, 11 Oct 2004 19:14:20 +0000 (+0000) Subject: fixed typo X-Git-Tag: V_0_0_10~91 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a8fa717b6fe0f59ced6ac78f4d7bb6255a7405ec;p=helm.git fixed typo --- 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