diff options
| -rw-r--r-- | include/clang/Analysis/PathSensitive/AnnotatedPath.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/include/clang/Analysis/PathSensitive/AnnotatedPath.h b/include/clang/Analysis/PathSensitive/AnnotatedPath.h index 299634b7f9..5056b77aab 100644 --- a/include/clang/Analysis/PathSensitive/AnnotatedPath.h +++ b/include/clang/Analysis/PathSensitive/AnnotatedPath.h @@ -47,7 +47,7 @@ class AnnotatedPath { typedef std::list<AnnotatedNode<STATE> > impl; impl path; public: - AnnotatedPath(); + AnnotatedPath() {} void push_back(ExplodedNode<STATE>* N, const std::string& s, Expr* E = NULL) { path.push_back(AnnotatedNode<STATE>(N, s, E)); |