98 #define LAST(x) last_added_ = x;  macro
100 #define LAST(x)  macro
2104     LAST(ADD_ATOM);  in FlushCharacters()
2135     LAST(ADD_CHAR);  in AddCharacter()
2190   LAST(ADD_ATOM);  in AddAtom()
2196   LAST(ADD_ATOM);  in AddTerm()
2202   LAST(ADD_ASSERT);  in AddAssertion()
2222   LAST(ADD_NONE);  in FlushTerms()
2308       LAST(ADD_TERM);  in AddQuantifierToAtom()
2321   LAST(ADD_TERM);  in AddQuantifierToAtom()
2378 #undef LAST