From 13ccc9277e84fb8da54d2c5bfa5ee5d7e1fa71e4 Mon Sep 17 00:00:00 2001 From: Stefano Sanfilippo Date: Thu, 27 Nov 2014 21:30:29 +0100 Subject: [PATCH] Alternate spelling for LTE and GTE operators. --- Monicelli.ll | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Monicelli.ll b/Monicelli.ll index 9b550b2..3099079 100644 --- a/Monicelli.ll +++ b/Monicelli.ll @@ -98,10 +98,10 @@ CHAR [a-zA-Z_] "maggiore di" { return OP_GT; } -"minore o uguale a" { +"minore o uguale "("a"|"di") { return OP_LTE; } -"maggiore o uguale a" { +"maggiore o uguale "("a"|"di") { return OP_GTE; } "a posterdati" {