numbering names of Lagrange multipliers from 1 instead of 0: MULT_1, MULT_2,...

8c9127ad · MichelJuillard · 075837b2 · 8c9127ad
Commit 8c9127ad authored May 24, 2011 by MichelJuillard
--- a/preprocessor/SymbolTable.cc
+++ b/preprocessor/SymbolTable.cc
@@ -377,7 +377,7 @@ SymbolTable::addMultiplierAuxiliaryVar(int index) throw (FrozenException)
 {
  ostringstream varname;
  int symb_id;
-  varname << "MULT_" << index;
+  varname << "MULT_" << index+1;

  try
    {