summaryrefslogtreecommitdiffstats
path: root/camlp4/meta/q_MLast.ml
diff options
context:
space:
mode:
authorDaniel de Rauglaudre <daniel.de_rauglaudre@inria.fr>2001-09-11 12:34:05 +0000
committerDaniel de Rauglaudre <daniel.de_rauglaudre@inria.fr>2001-09-11 12:34:05 +0000
commit6ae0aea7f6c44e27e99548a784dbce959e8ae4c1 (patch)
tree57c693c2e0bb2d7eb73f5d9568bdbecd239bf2b1 /camlp4/meta/q_MLast.ml
parent6e93cad005fbbe3e2edebc397cd26cfac34323c8 (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.ml2
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]