Fixed bug introduced in c22d31330c (Ramsey

constraints).
time-shift
Stéphane Adjemian (Hermes) 2015-06-01 12:27:16 +02:00
parent 48098f9a50
commit 88798bfe5e
1 changed files with 1 additions and 1 deletions

View File

@ -1918,7 +1918,7 @@ ramsey_constraint : NAME LESS expression ';'
{ driver.ramsey_constraint_add_greater($1,$3); }
| NAME LESS_EQUAL expression ';'
{ driver.ramsey_constraint_add_less_equal($1,$3); }
| NAME GREATER expression ';'
| NAME GREATER_EQUAL expression ';'
{ driver.ramsey_constraint_add_greater_equal($1,$3); }
;