Remove the dependence on Global from Lic.
Indeed, part of licDump was done in lic, but that part should not depend in the compil option.
Showing
- src/lic.ml 2 additions, 12 deletionssrc/lic.ml
- src/licDump.ml 76 additions, 7 deletionssrc/licDump.ml
- src/unifyClock.mli 1 addition, 1 deletionsrc/unifyClock.mli
- test/lus2lic.sum 1 addition, 1 deletiontest/lus2lic.sum
- test/lus2lic.time 2 additions, 2 deletionstest/lus2lic.time
- todo.org 0 additions, 9 deletionstodo.org
- todo.org_archive 27 additions, 0 deletionstodo.org_archive
Loading
Please register or sign in to comment