some fixes in terms of map

Mainly, make a intermediate function to get the keys we want. 
Actually, you might not be able to do this in Java backend since it will
complain.


On Fri, Jun 6, 2014 at 3:59 PM, Chris Hathhorn <notifications@github.com>
wrote:

> In semantics/language/execution/init.k:
>
> > @@ -100,9 +100,19 @@ module C-EXECUTION-INIT
> >       rule stdinStr => "stdin:/" +String "/" +String "/"
> >       rule stdoutStr => "stdout:/" +String "/" +String "/"
> >
> > +     syntax KItem ::= midInitMainThread(String)
> > +
>
> Or actually, "initMainThread()" without the tick, if that's not ambiguous.
>
> —
> Reply to this email directly or view it on GitHub
> <https://github.com/kframework/c-semantics/pull/10/files#r13510065>.
>