From 0374c5900b09215f2f26b614f3c7239d384c2743 Mon Sep 17 00:00:00 2001 From: Lesenechal Remi Date: Fri, 7 Feb 2020 12:06:10 +0100 Subject: [PATCH] add missing 'Set.iter' 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 7c3bd7318..ed77a7f64 100644 --- a/src/passes/operators/operators.ml +++ b/src/passes/operators/operators.ml @@ -181,6 +181,7 @@ module Simplify = struct | "Bytes.sub" -> ok C_SLICE | "Set.mem" -> ok C_SET_MEM + | "Set.iter" -> ok C_SET_ITER | "Set.empty" -> ok C_SET_EMPTY | "Set.literal" -> ok C_SET_LITERAL | "Set.add" -> ok C_SET_ADD