Fix a typo in the previous change
No related branches found
No related tags found
Showing
- src/filenameExtras.ml 2 additions, 2 deletionssrc/filenameExtras.ml
- src/lv6MainArgs.ml 1 addition, 1 deletionsrc/lv6MainArgs.ml
- src/socPredef2cHeap.ml 1 addition, 2 deletionssrc/socPredef2cHeap.ml
- src/socPredef2cStack.ml 1 addition, 2 deletionssrc/socPredef2cStack.ml
- test/lus2lic.sum 14 additions, 14 deletionstest/lus2lic.sum
- test/lus2lic.time 9 additions, 9 deletionstest/lus2lic.time
Loading
Please register or sign in to comment