diff options
Diffstat (limited to 'lib/GR/SimpleConstraintManager.cpp')
| -rw-r--r-- | lib/GR/SimpleConstraintManager.cpp | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/lib/GR/SimpleConstraintManager.cpp b/lib/GR/SimpleConstraintManager.cpp index 7c246e4d27..991d0e87e4 100644 --- a/lib/GR/SimpleConstraintManager.cpp +++ b/lib/GR/SimpleConstraintManager.cpp @@ -19,6 +19,8 @@ namespace clang { +namespace GR { + SimpleConstraintManager::~SimpleConstraintManager() {} bool SimpleConstraintManager::canReasonAbout(SVal X) const { @@ -296,4 +298,6 @@ const GRState *SimpleConstraintManager::assumeSymRel(const GRState *state, } // end switch } -} // end of namespace clang +} // end of namespace GR + +} // end of namespace clang |