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)
My fault that I assumed it didn't work only because the simple language under java-rewrite-engine was using Token{...}.  I just removed the Token{...} wrappers and everything worked fine.  Everything pushed again.

Grigore


________________________________
From: Andrei Stefanescu [notifications@github.com]
Sent: Tuesday, June 10, 2014 7:43 PM
To: kframework/k
Cc: Rosu, Grigore
Subject: Re: [k] updated simple-untyped.k (#581)


In tutorial/2_languages/1_simple/1_untyped/simple-untyped.k:

> @@ -416,14 +416,13 @@ inside the loop body with fewer dimensions.  The second variable,
>  \texttt{\$2}, iterates through and initializes each element of the current
>  dimension: */
>
> -  syntax Id ::= "$1" | "$2"
> +  syntax Id ::= Token{"$1"} | Token{"$2"}


see above

—
Reply to this email directly or view it on GitHub<https://github.com/kframework/k/pull/581/files#r13628457>.