Alternate spelling for LTE and GTE operators.
This commit is contained in:
parent
5573307305
commit
13ccc9277e
|
@ -98,10 +98,10 @@ CHAR [a-zA-Z_]
|
||||||
"maggiore di" {
|
"maggiore di" {
|
||||||
return OP_GT;
|
return OP_GT;
|
||||||
}
|
}
|
||||||
"minore o uguale a" {
|
"minore o uguale "("a"|"di") {
|
||||||
return OP_LTE;
|
return OP_LTE;
|
||||||
}
|
}
|
||||||
"maggiore o uguale a" {
|
"maggiore o uguale "("a"|"di") {
|
||||||
return OP_GTE;
|
return OP_GTE;
|
||||||
}
|
}
|
||||||
"a posterdati" {
|
"a posterdati" {
|
||||||
|
|
Reference in New Issue
Block a user