Fix a bug in l2lRmPoly.ml: var types were not susbtituted in "Lic.left".
Showing
- src/compile.ml 1 addition, 1 deletionsrc/compile.ml
- src/l2lExpandArrays.ml 29 additions, 26 deletionssrc/l2lExpandArrays.ml
- src/l2lExpandNodes.ml 36 additions, 36 deletionssrc/l2lExpandNodes.ml
- src/l2lRmPoly.ml 111 additions, 101 deletionssrc/l2lRmPoly.ml
- test/lus2lic.log.ref 9 additions, 27 deletionstest/lus2lic.log.ref
- test/lus2lic.sum 6 additions, 6 deletionstest/lus2lic.sum
- test/lus2lic.time 2 additions, 2 deletionstest/lus2lic.time
- test/should_work/overload.lus 0 additions, 0 deletionstest/should_work/overload.lus
- todo.org 0 additions, 17 deletionstodo.org
- todo.org_archive 24 additions, 0 deletionstodo.org_archive
Loading
Please register or sign in to comment