Skip to content

Replace sturmScript.sml with the fixed version

Mohit Tekriwalrequested to merge
bug_fix_on_sturmScript into master

Fixed version of sturm Script. Ran Holmake with the rest of the files and it went through.

This closes #7 (closed).

Edited by Heiko Becker

Merge request reports