kframework/k — pull request #581 by grosu (2014-06-10 23:13:47+00:00)
Title: updated simple-untyped.k

Updated simple-untyped.k to work in the new unified-builtins2 branch.
@andreisf @traianf please review (it is almost identical with the one under samples/java-rewrite-engine)