Commit f2c6db6d authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

* src/ltlparse/ltlparse.yy: Typo.

parent faaa117e
2004-02-09 Alexandre Duret-Lutz <>
* src/ltlparse/ltlparse.yy: Typo.
* wrap/python/cgi/ Use render_dot when
showing formula.
* wrap/python/cgi/README: Mention unique_id.
......@@ -74,7 +74,7 @@ using namespace spot::ltl;
/* All tokens. */
%token <token> PAR_OPEN "opening parenthesis" PAR_CLOSE "closing parenthesis"
%token <token> OP_OR "or operator" OP_XOR "xor operator" OP_AND "and operation"
%token <token> OP_OR "or operator" OP_XOR "xor operator" OP_AND "and operator"
%token <token> OP_IMPLIES "implication operator" OP_EQUIV "equivalent operator"
%token <token> OP_U "until operator" OP_R "release operator"
%token <token> OP_F "sometimes operator" OP_G "always operator"
Supports Markdown
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