fix: make the combine use of -esa and -knc work with iterators
nb: still does not work for nested iterators
Showing
- lib/l2lExpandArrays.ml 13 additions, 2 deletionslib/l2lExpandArrays.ml
- lib/licDump.ml 7 additions, 8 deletionslib/licDump.ml
- lib/lv6Compile.ml 4 additions, 4 deletionslib/lv6Compile.ml
- lib/lv6MainArgs.ml 8 additions, 7 deletionslib/lv6MainArgs.ml
- lib/lv6MainArgs.mli 2 additions, 2 deletionslib/lv6MainArgs.mli
- test/lus2lic.sum 11 additions, 11 deletionstest/lus2lic.sum
Loading
Please register or sign in to comment