Fix a bug where the wrong node was generated in -ec mode with the -n option.
Showing
- src/compile.ml 2 additions, 2 deletionssrc/compile.ml
- src/licPrg.ml 33 additions, 26 deletionssrc/licPrg.ml
- src/licPrg.mli 2 additions, 2 deletionssrc/licPrg.mli
- src/main.ml 2 additions, 2 deletionssrc/main.ml
- test/lus2lic.sum 1 addition, 1 deletiontest/lus2lic.sum
- test/lus2lic.time 2 additions, 2 deletionstest/lus2lic.time
Loading
Please register or sign in to comment