From edb1e3d6077016cb9e15a907e0bcc34fbbd85028 Mon Sep 17 00:00:00 2001
From: Lesenechal Remi <lesenechal.remi@gmail.com>
Date: Tue, 19 Nov 2019 15:34:13 +0100
Subject: [PATCH] add crypto_check function to pascaligo

---
 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 e1bfb0417..b19d1724a 100644
--- a/src/passes/operators/operators.ml
+++ b/src/passes/operators/operators.ml
@@ -77,6 +77,7 @@ module Simplify = struct
       ("bitwise_xor" , "XOR") ;
       ("string_concat" , "CONCAT") ;
       ("string_slice" , "SLICE") ;
+      ("crypto_check", "CHECK_SIGNATURE") ;
       ("bytes_concat" , "CONCAT") ;
       ("bytes_slice" , "SLICE") ;
       ("bytes_pack" , "PACK") ;