Joel Grunbaum
2021-07-20 081654efe3e47e9ed85b6efccb9438ee19ddb164
ast.cpp
@@ -174,7 +174,8 @@
      for (std::vector<Line_Word*>::size_type j = 0; j < t->size(); j++) {
         delete (*t)[j];
      }
      table[i]->clear();
      t->clear();
      delete t;
   }
   table.clear();
}