got it.


On Wed, Jun 4, 2014 at 2:52 PM, Chris Hathhorn <notifications@github.com>
wrote:

> In semantics/language/translation/decl/resolution.k:
>
> > @@ -19,6 +19,16 @@ module C-DECL-RESOLUTION
> >
> >       imports C-ERROR-SYNTAX
> >
> > +     syntax KItem ::= midAllocateIncompleteTentatives(CId,K)
> > +
> > +     rule <k> ( . => midAllocateIncompleteTentatives(X,DE))
> > +		~> allocateIncompleteTentatives ...</k>
>
> Well, the original rule is allocating all the tentatives, but with that
> midAllocateIncompleteTentatives you're allocating a single incomplete
> tentative, so it makes sense to call it "allocateIncompleteTentative," I
> think.
>
> —
> Reply to this email directly or view it on GitHub
> <https://github.com/kframework/c-semantics/pull/10/files#r13406624>.
>