-
Guillaume Melquiond authored
That commit caused the declaration list to no longer be reset after each declaration. Fixing this issue speeds up Gappa printing by 800%. Abstracted subterms and formulas are now systematically added to extra_decls, since their presence in the global tables does not guarantee they have already been defined. This guarantee was lost when the tables became global to the transformation, but it was hidden by list extra_decls never being emptied. Note: removing alpha-conversion does not bring any sensible speedup.
d85384f3