From 31e8035e6aa7d13b8fd1a9eae9dbad91bcae9228 Mon Sep 17 00:00:00 2001 From: Sander Spies Date: Tue, 10 Mar 2020 14:52:59 +0100 Subject: [PATCH] Remove incorrect Big_map operations. --- src/passes/operators/operators.ml | 4 ---- 1 file changed, 4 deletions(-) diff --git a/src/passes/operators/operators.ml b/src/passes/operators/operators.ml index 2a8c5afb9..f01b5aa44 100644 --- a/src/passes/operators/operators.ml +++ b/src/passes/operators/operators.ml @@ -136,11 +136,7 @@ module Simplify = struct | "Big_map.update" -> ok C_MAP_UPDATE | "Big_map.literal" -> ok C_BIG_MAP_LITERAL | "Big_map.empty" -> ok C_BIG_MAP_EMPTY - | "Big_map.size" -> ok C_SIZE | "Big_map.mem" -> ok C_MAP_MEM - | "Big_map.iter" -> ok C_MAP_ITER - | "Big_map.map" -> ok C_MAP_MAP - | "Big_map.fold" -> ok C_MAP_FOLD | "Big_map.remove" -> ok C_MAP_REMOVE | "Big_map.add" -> ok C_MAP_ADD