diff options
-rw-r--r-- | VERSION | 2 | ||||
-rw-r--r-- | camlp4/Camlp4Parsers/Camlp4OCamlRevisedParser.ml | 2 |
2 files changed, 2 insertions, 2 deletions
@@ -1,4 +1,4 @@ -3.13.0+dev9 (2012-01-06) +3.13.0+dev10 (2012-01-10) # The version string is the first line of this file. # It must be in the format described in stdlib/sys.mli diff --git a/camlp4/Camlp4Parsers/Camlp4OCamlRevisedParser.ml b/camlp4/Camlp4Parsers/Camlp4OCamlRevisedParser.ml index e8c13e9fd..52dab40f4 100644 --- a/camlp4/Camlp4Parsers/Camlp4OCamlRevisedParser.ml +++ b/camlp4/Camlp4Parsers/Camlp4OCamlRevisedParser.ml @@ -1793,7 +1793,7 @@ New syntax:\ [ [ "#"; n = a_LIDENT; dp = opt_expr -> <:sig_item< # $n$ $dp$ >> | sg1 = sig_item; semi; sg2 = SELF -> match sg2 with - [ <:sig_item<>> -> sg2 + [ <:sig_item<>> -> sg1 | _ -> <:sig_item< $sg1$; $sg2$ >> ] | sg = sig_item -> sg | -> <:sig_item<>> ] ] |