gsdlab/clafer — pull request #24 by Luke-Michael-Brown (2013-06-27 17:08:59+00:00)
Title: I235

see http://gsd.uwaterloo.ca:8888/question/976/error-in-alloy-generator-maybefromjust-nothing

Note this fix is only for ss=simple, there should be no fix for ss=full since without -k it should have no way of finding the uid.