Added missing ctor to ExplodedGraph.

llvm-svn: 46079
This commit is contained in:
Ted Kremenek 2008-01-16 18:59:09 +00:00
parent f81d2c9a06
commit 34eb8bb3bd
1 changed files with 2 additions and 0 deletions

View File

@ -253,6 +253,8 @@ protected:
}
public:
ExplodedGraph() : CheckerState(new CheckerTy()) {}
/// getCheckerState - Returns the internal checker state associated
/// with the exploded graph. Ownership remains with the ExplodedGraph
/// objecct.