I've rebased the branch with this (and the DBG change).

Peter


On Sun, Aug 25, 2013 at 11:42 PM, Pippijn van Steenhoven <
notifications@github.com> wrote:

> In aldor/aldor/src/foam.c:
>
> > @@ -739,9 +741,7 @@
> >  Bool
> >  foamAudit(Foam foam)
> >  {
> > -	foamAuditTypeChecking = false;
> > -
> > -	return foamAudit0(foam);
> > +	foamAuditAll(foam, 0xFFFF);
>
> Do you want to fix this in this pull request or push it to the next?
>
> —
> Reply to this email directly or view it on GitHub<https://github.com/pippijn/aldor/pull/68/files#r5969863>
> .
>