preprocessor: remove extraneous print statement

2018-02-09 14:09:47 +01:00 · 2018-02-09 14:09:47 +01:00 · c1bba660c8
parent 6138e9c269
commit c1bba660c8
1 changed files with 0 additions and 1 deletions
--- a/SymbolTable.cc
+++ b/SymbolTable.cc
@ -724,7 +724,6 @@ SymbolTable::addDiffAuxiliaryVar(int index, expr_t expr_arg, int orig_symb_id, i
      exit(EXIT_FAILURE);
    }

-  cout << "DIFF: " << orig_symb_id << "(" << orig_lag << ")" << endl;
  aux_vars.push_back(AuxVarInfo(symb_id, avDiff, orig_symb_id, orig_lag, 0, 0, expr_arg));

  return symb_id;