Get rid of the numeric literals.

This commit is contained in:
Roberto Raggi
2010-09-02 12:50:37 +02:00
parent c12866a467
commit a340cd118e
4 changed files with 21 additions and 0 deletions

View File

@@ -754,3 +754,8 @@ bool Control::hasSymbol(Symbol *symbol) const
{
return std::find(d->symbols.begin(), d->symbols.end(), symbol) != d->symbols.end();
}
void Control::squeeze()
{
d->numericLiterals.reset();
}