From b9d32ddf4e994a5c3c64210e4b80095d8e3649c9 Mon Sep 17 00:00:00 2001
From: Lesenechal Remi <lesenechal.remi@gmail.com>
Date: Thu, 31 Oct 2019 17:39:07 +0100
Subject: [PATCH] add bytes_pack

---
 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 6638c352e..06999bded 100644
--- a/src/passes/operators/operators.ml
+++ b/src/passes/operators/operators.ml
@@ -76,6 +76,7 @@ module Simplify = struct
       ("string_slice" , "SLICE") ;
       ("bytes_concat" , "CONCAT") ;
       ("bytes_slice" , "SLICE") ;
+      ("bytes_pack" , "PACK") ;
       ("set_empty" , "SET_EMPTY") ;
       ("set_mem" , "SET_MEM") ;
       ("set_add" , "SET_ADD") ;