From: Tim King <taking@cs.nyu.edu>
Date: Fri, 6 May 2011 21:23:38 +0000 (+0000)
Subject: Deleting dead code.
X-Git-Tag: cvc5-1.0.0~8552
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9462ccde8b06aae3b13e271465ab74b2e312a095;p=cvc5.git

Deleting dead code.
---

diff --git a/src/theory/arith/arith_prop_manager.cpp b/src/theory/arith/arith_prop_manager.cpp
index 151421b31..77d32ef0b 100644
--- a/src/theory/arith/arith_prop_manager.cpp
+++ b/src/theory/arith/arith_prop_manager.cpp
@@ -24,23 +24,6 @@ bool ArithPropManager::isAsserted(TNode n) const{
   }
 }
 
-// Node ArithPropManager::strictlyWeakerAssertedUpperBound(TNode n) const{
-//   Node weaker = n;
-//   do {
-//     weaker = d_propagator.getWeakerImpliedUpperBound(weaker);
-//   }while(!weaker.isNull() && !isAsserted(weaker));
-//   Assert(weaker != n);
-//   return weaker;
-// }
-
-// Node ArithPropManager::strictlyWeakerAssertedLowerBound(TNode n) const{
-//   Node weaker = n;
-//   do {
-//     weaker = d_propagator.getWeakerImpliedLowerBound(weaker);
-//   }while(!weaker.isNull() && !isAsserted(weaker));
-//   Assert(weaker != n);
-//   return weaker;
-// }
 
 Node ArithPropManager::strictlyWeakerAssertedUpperBound(ArithVar v, const DeltaRational& b) const{
   Node bound = boundAsNode(true, v, b);