From bd0a6c39c56c6ad2bf12e7b9fd41db1772fed9cd Mon Sep 17 00:00:00 2001
From: Tim King <taking@cs.nyu.edu>
Date: Wed, 5 Dec 2012 21:45:12 +0000
Subject: Improved garbage collection for TheoryArith.  The merges all of the
 code over from branches/arithmetic/converge except for the new code for
 simplex.

---
 src/theory/arith/congruence_manager.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/theory/arith/congruence_manager.cpp')

diff --git a/src/theory/arith/congruence_manager.cpp b/src/theory/arith/congruence_manager.cpp
index 5ee250c09..de4c7eac3 100644
--- a/src/theory/arith/congruence_manager.cpp
+++ b/src/theory/arith/congruence_manager.cpp
@@ -272,7 +272,7 @@ void ArithCongruenceManager::addWatchedPair(ArithVar s, TNode x, TNode y){
   d_watchedVariables.add(s);
 
   Node eq = x.eqNode(y);
-  d_watchedEqualities[s] = eq;
+  d_watchedEqualities.set(s, eq);
 }
 
 void ArithCongruenceManager::assertionToEqualityEngine(bool isEquality, ArithVar s, TNode reason){
-- 
cgit v1.2.3