Select Git revision
SymbolTable.cc
-
Sébastien Villemot authored
Also add the new equation to auxiliary equations in the backward case (but not in the MCE case, since that equation is recursive).
Sébastien Villemot authoredAlso add the new equation to auxiliary equations in the backward case (but not in the MCE case, since that equation is recursive).
