gsdlab/claferIG — pull request #5 by Luke-Michael-Brown (2013-06-14 18:54:09+00:00)
Title: Fixed i236

see http://gsd.uwaterloo.ca:8888/question/980/add-compilation-options-command-line-arguments-of

Also corresponding clafer pull request https://github.com/gsdlab/clafer/pull/22