diff options
| author | Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr> | 2001-12-14 17:23:13 +0000 |
|---|---|---|
| committer | Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr> | 2001-12-14 17:23:13 +0000 |
| commit | 554d149d8ec10fad460b7914bd11be02ebb05011 (patch) | |
| tree | d306446f768302128a242172f9e41f3f38e4a7cc /camlp4/ocaml_src | |
| parent | 03acc6441f60f823ffcc858fb2bf94932d375a3a (diff) | |
-
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4167 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'camlp4/ocaml_src')
| -rw-r--r-- | camlp4/ocaml_src/camlp4/Makefile | 2 | ||||
| -rw-r--r-- | camlp4/ocaml_src/lib/Makefile | 2 | ||||
| -rw-r--r-- | camlp4/ocaml_src/meta/Makefile | 2 | ||||
| -rw-r--r-- | camlp4/ocaml_src/meta/q_MLast.ml | 2 | ||||
| -rw-r--r-- | camlp4/ocaml_src/odyl/Makefile | 2 |
5 files changed, 5 insertions, 5 deletions
diff --git a/camlp4/ocaml_src/camlp4/Makefile b/camlp4/ocaml_src/camlp4/Makefile index bbf814502..d06afa95e 100644 --- a/camlp4/ocaml_src/camlp4/Makefile +++ b/camlp4/ocaml_src/camlp4/Makefile @@ -1,4 +1,4 @@ -# $Id$ +# Id include ../../config/Makefile diff --git a/camlp4/ocaml_src/lib/Makefile b/camlp4/ocaml_src/lib/Makefile index b9fb190d4..115fde188 100644 --- a/camlp4/ocaml_src/lib/Makefile +++ b/camlp4/ocaml_src/lib/Makefile @@ -1,4 +1,4 @@ -# $Id$ +# Id include ../../config/Makefile diff --git a/camlp4/ocaml_src/meta/Makefile b/camlp4/ocaml_src/meta/Makefile index bdee40346..6248bd0e2 100644 --- a/camlp4/ocaml_src/meta/Makefile +++ b/camlp4/ocaml_src/meta/Makefile @@ -1,4 +1,4 @@ -# $Id$ +# Id include ../../config/Makefile diff --git a/camlp4/ocaml_src/meta/q_MLast.ml b/camlp4/ocaml_src/meta/q_MLast.ml index 009ec0d65..63e27fe56 100644 --- a/camlp4/ocaml_src/meta/q_MLast.ml +++ b/camlp4/ocaml_src/meta/q_MLast.ml @@ -2347,7 +2347,7 @@ Grammar.extend [[Gramext.Stoken ("ANTIQUOT", "opt")], Gramext.action (fun (a : string) (loc : int * int) -> - (antiquot "mut" loc a : 'anti_opt))]]; + (antiquot "opt" loc a : 'anti_opt))]]; Grammar.Entry.obj (anti_rec : 'anti_rec Grammar.Entry.e), None, [None, None, [[Gramext.Stoken ("ANTIQUOT", "rec")], diff --git a/camlp4/ocaml_src/odyl/Makefile b/camlp4/ocaml_src/odyl/Makefile index f14583b81..f59c0f3f3 100644 --- a/camlp4/ocaml_src/odyl/Makefile +++ b/camlp4/ocaml_src/odyl/Makefile @@ -1,4 +1,4 @@ -# $Id$ +# Id include ../../config/Makefile |