From bddad3f2340c383af0ca1189f963ddd4c1172d0b Mon Sep 17 00:00:00 2001
From: Lesenechal Remi <lesenechal.remi@gmail.com>
Date: Wed, 25 Dec 2019 23:38:07 +0100
Subject: [PATCH] add missing GE operator (>=) to cameligo

---
 src/passes/operators/operators.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/passes/operators/operators.ml b/src/passes/operators/operators.ml
index 84f37f443..424032703 100644
--- a/src/passes/operators/operators.ml
+++ b/src/passes/operators/operators.ml
@@ -243,6 +243,7 @@ module Simplify = struct
       | "AND"                      -> ok C_AND
       | "OR"                       -> ok C_OR
       | "GT"                       -> ok C_GT
+      | "GE"                       -> ok C_GE
       | "LT"                       -> ok C_LT
       | "LE"                       -> ok C_LE
       | "CONS"                     -> ok C_CONS