commit b2bf7cda4661c54510e6cbb96ba6ea9b5ddafca9
author Ted Kremenek <kremenek@apple.com> Wed Jan 28 22:27:59 2009 +0000
committer Ted Kremenek <kremenek@apple.com> Wed Jan 28 22:27:59 2009 +0000
tree e1538fb5f673b8bbca7cbbd1245fa69e03bf50ca
parent a5fd07bbc5e4bae542c06643da3fbfe4967a9379

Remove method 'AddNE' from the public interface of ConstraintManager.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@63249 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Analysis/BasicConstraintManager.cpp

diff --git a/lib/Analysis/BasicConstraintManager.cpp b/lib/Analysis/BasicConstraintManager.cpp
index 7496c5f..f14ada7 100644
--- a/lib/Analysis/BasicConstraintManager.cpp
+++ b/lib/Analysis/BasicConstraintManager.cpp
@@ -72,7 +72,7 @@
                               const SymIntConstraint& C, bool& isFeasible);
 
   const GRState* AssumeSymNE(const GRState* St, SymbolRef sym,
-                                const llvm::APSInt& V, bool& isFeasible);
+                             const llvm::APSInt& V, bool& isFeasible);
 
   const GRState* AssumeSymEQ(const GRState* St, SymbolRef sym,
                                 const llvm::APSInt& V, bool& isFeasible);