-
Heiko Becker authored
Fix minor bug due to a merge conflict in transScript.sml that copied some code and let to strange behaviours
c96abc38
Fix minor bug due to a merge conflict in transScript.sml that copied some code and let to strange behaviours