accept string constants in qualified theory names in drivers

a6ed77b7 · Andrei Paskevich · 6ecf1ff2 · a6ed77b7
Commit a6ed77b7 authored Dec 14, 2011 by Andrei Paskevich
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 2 deletions

src/driver/driver_parser.mly src/driver/driver_parser.mly +3 -2

No files found.
--- a/src/driver/driver_parser.mly
+++ b/src/driver/driver_parser.mly
@@ -117,8 +117,9 @@ cloned:
 ;

 tqualid:
-| ident             { loc (), [$1] }
-| ident DOT tqualid { loc (), ($1 :: snd $3) }
+| ident              { loc (), [$1] }
+| ident DOT tqualid  { loc (), ($1 :: snd $3) }
+| STRING DOT tqualid { loc (), ($1 :: snd $3) }
 ;

 qualid: