Remove the useless Lic.WITH as it is expanded in previous passes.
Showing
- src/ast2lic.ml 141 additions, 141 deletionssrc/ast2lic.ml
- src/evalClock.ml 2 additions, 7 deletionssrc/evalClock.ml
- src/evalType.ml 1 addition, 5 deletionssrc/evalType.ml
- src/l2lCheckLoops.ml 1 addition, 2 deletionssrc/l2lCheckLoops.ml
- src/l2lExpandArrays.ml 2 additions, 6 deletionssrc/l2lExpandArrays.ml
- src/l2lExpandNodes.ml 2 additions, 3 deletionssrc/l2lExpandNodes.ml
- src/l2lSplit.ml 2 additions, 7 deletionssrc/l2lSplit.ml
- src/lic.ml 1 addition, 2 deletionssrc/lic.ml
- src/licDump.ml 1 addition, 2 deletionssrc/licDump.ml
- src/licTab.ml 2 additions, 7 deletionssrc/licTab.ml
- test/lus2lic.sum 1 addition, 1 deletiontest/lus2lic.sum
- todo.org 12 additions, 7 deletionstodo.org
- todo.org_archive 13 additions, 0 deletionstodo.org_archive
Loading
Please register or sign in to comment