balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

add missing 'Set.iter' to cameligo

Browse Source
This commit is contained in:
Lesenechal Remi 2020-02-07 12:06:10 +01:00
parent f08879feb0
commit 0374c5900b
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/passes/operators/operators.ml
View File

@ -181,6 +181,7 @@ module Simplify = struct
| "Bytes.sub" -> ok C_SLICE | "Bytes.sub" -> ok C_SLICE
| "Set.mem" -> ok C_SET_MEM | "Set.mem" -> ok C_SET_MEM
| "Set.iter" -> ok C_SET_ITER
| "Set.empty" -> ok C_SET_EMPTY | "Set.empty" -> ok C_SET_EMPTY
| "Set.literal" -> ok C_SET_LITERAL | "Set.literal" -> ok C_SET_LITERAL
| "Set.add" -> ok C_SET_ADD | "Set.add" -> ok C_SET_ADD