Commit ff27eee3 authored by François Bobot's avatar François Bobot

[Driver] rename `use export` into `use`

parent 2b5f7292
......@@ -98,7 +98,7 @@ end
theory int.ComputerDivision
use export for_drivers.ComputerOfEuclideanDivision
use for_drivers.ComputerOfEuclideanDivision
end
......
......@@ -59,7 +59,6 @@
"converter", CONVERTER;
"literal", LITERAL;
"use", USE;
"export", EXPORT;
]
}
......
......@@ -19,7 +19,7 @@
%token <string> STRING
%token <string> OPERATOR
%token <string> INPUT (* never reaches the parser *)
%token THEORY END SYNTAX REMOVE META PRELUDE PRINTER MODEL_PARSER OVERRIDING USE EXPORT
%token THEORY END SYNTAX REMOVE META PRELUDE PRINTER MODEL_PARSER OVERRIDING USE
%token VALID INVALID UNKNOWN FAIL
%token TIMEOUT OUTOFMEMORY STEPLIMITEXCEEDED TIME STEPS
%token UNDERSCORE LEFTPAR RIGHTPAR DOT QUOTE EOF
......@@ -91,7 +91,7 @@ trule:
| REMOVE ALL { Rremoveall }
| META ident meta_args { Rmeta ($2, $3) }
| META STRING meta_args { Rmeta ($2, $3) }
| USE EXPORT qualid { Ruse ($3) }
| USE qualid { Ruse ($2) }
meta_args: separated_nonempty_list(COMMA,meta_arg) { $1 }
......
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