diff options
author | Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr> | 2001-09-11 12:34:05 +0000 |
---|---|---|
committer | Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr> | 2001-09-11 12:34:05 +0000 |
commit | 6ae0aea7f6c44e27e99548a784dbce959e8ae4c1 (patch) | |
tree | 57c693c2e0bb2d7eb73f5d9568bdbecd239bf2b1 /camlp4/meta/q_MLast.ml | |
parent | 6e93cad005fbbe3e2edebc397cd26cfac34323c8 (diff) |
-
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3753 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'camlp4/meta/q_MLast.ml')
-rw-r--r-- | camlp4/meta/q_MLast.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/camlp4/meta/q_MLast.ml b/camlp4/meta/q_MLast.ml index b3ed592d8..4be2cb64c 100644 --- a/camlp4/meta/q_MLast.ml +++ b/camlp4/meta/q_MLast.ml @@ -389,8 +389,6 @@ EXTEND | "?"; i = lident; ":"; p = SELF -> Node "PaOlb" [i; p; Option None] | "?"; i = lident; ":"; "("; p = SELF; "="; e = expr; ")" -> Node "PaOlb" [i; p; Option (Some e)] - | "?"; "("; j = lident; "="; e = expr; ")" -> - Node "PaOlb" [j; Node "PaLid" [j]; Option (Some e)] | "?"; i = lident -> Node "PaOlb" [i; Node "PaLid" [i]; Option None] ] | "simple" [ v = LIDENT -> Node "PaLid" [Str v] |