[standard-ml/en-en] Removing syntax errors and fixing solve2 function
Merge pull request #430 from sshine/master

[standard-ml/en-en] Removing syntax errors and fixing solve2 function