diff options
| author | Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr> | 2001-12-22 18:29:29 +0000 |
|---|---|---|
| committer | Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr> | 2001-12-22 18:29:29 +0000 |
| commit | 98bc4a533fa3523b16865414b17c0a036da308f9 (patch) | |
| tree | 9d9140eee11946e2ff2afbc79f8aebdd5f2074dd /camlp4/ocaml_src/meta | |
| parent | 7607a5b6f510e247b50e6028519d480283364bac (diff) | |
-
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4183 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'camlp4/ocaml_src/meta')
| -rw-r--r-- | camlp4/ocaml_src/meta/Makefile.Mac.depend | 2 | ||||
| -rw-r--r-- | camlp4/ocaml_src/meta/pa_rp.ml | 2 |
2 files changed, 1 insertions, 3 deletions
diff --git a/camlp4/ocaml_src/meta/Makefile.Mac.depend b/camlp4/ocaml_src/meta/Makefile.Mac.depend index e79ce6cb9..e48bfb7f6 100644 --- a/camlp4/ocaml_src/meta/Makefile.Mac.depend +++ b/camlp4/ocaml_src/meta/Makefile.Mac.depend @@ -8,7 +8,5 @@ pa_r.cmo� ::camlp4:mLast.cmi ::camlp4:pcaml.cmi pa_r.cmx� ::camlp4:mLast.cmi ::camlp4:pcaml.cmx pa_rp.cmo� ::camlp4:mLast.cmi ::camlp4:pcaml.cmi pa_rp.cmx� ::camlp4:mLast.cmi ::camlp4:pcaml.cmx -pr_dump.cmo� ::camlp4:ast2pt.cmo ::camlp4:pcaml.cmi -pr_dump.cmx� ::camlp4:ast2pt.cmx ::camlp4:pcaml.cmx q_MLast.cmo� ::camlp4:mLast.cmi ::camlp4:pcaml.cmi ::camlp4:quotation.cmi q_MLast.cmx� ::camlp4:mLast.cmi ::camlp4:pcaml.cmx ::camlp4:quotation.cmx diff --git a/camlp4/ocaml_src/meta/pa_rp.ml b/camlp4/ocaml_src/meta/pa_rp.ml index d8c3f1185..ebe7715f8 100644 --- a/camlp4/ocaml_src/meta/pa_rp.ml +++ b/camlp4/ocaml_src/meta/pa_rp.ml @@ -114,7 +114,7 @@ let rec subst v e = | _ -> raise Not_found and subst_pe v (p, e) = match p with - MLast.PaLid (_, v') -> if v = v' then p, e else p, subst v e + MLast.PaLid (_, v') when v <> v' -> p, subst v e | _ -> raise Not_found ;; |