Skip to content

GitLab

why3
why3
Commit ec14b110 authored by Andrei Paskevich's avatar Andrei Paskevich
Browse files
Options

don't ignore "namespace import" in parser

parent 9fd4c768
Hide whitespace changes
Inline Side-by-side
Showing with 2 additions and 2 deletions
src/parser/parser.mly
View file @ ec14b110
......@@ -273,9 +273,9 @@ decl:
| NAMESPACE UNDERSCORE list0_decl END
{ Namespace (loc (), false, None, $3) }
| NAMESPACE IMPORT uident list0_decl END
{ Namespace (loc (), false, Some $3, $4) }
{ Namespace (loc (), true, Some $3, $4) }
| NAMESPACE IMPORT UNDERSCORE list0_decl END
{ Namespace (loc (), false, None, $4) }
{ Namespace (loc (), true, None, $4) }
;
list1_theory:
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment