From fd4196b476bff30c46a80cd858ea7bf057f301eb Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Mon, 25 Aug 2008 18:19:49 +0000 Subject: [PATCH] bug fix in inline syntax --- helm/software/components/grafite_parser/grafiteParser.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/software/components/grafite_parser/grafiteParser.ml b/helm/software/components/grafite_parser/grafiteParser.ml index 38a8667d3..b9f6d388f 100644 --- a/helm/software/components/grafite_parser/grafiteParser.ml +++ b/helm/software/components/grafite_parser/grafiteParser.ml @@ -509,7 +509,7 @@ EXTEND | [ IDENT "inline"]; style = OPT [ IDENT "procedural"; depth = OPT int -> depth ]; suri = QSTRING; prefix = OPT QSTRING; - flavour = OPT [ IDENT "as"; attr = inline_flavour -> attr ]-> + flavour = OPT [ "as"; attr = inline_flavour -> attr ] -> let style = match style with | None -> GrafiteAst.Declarative | Some depth -> GrafiteAst.Procedural depth -- 2.39.2