diff options
| author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-10-28 21:12:02 +0000 |
|---|---|---|
| committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-10-28 21:12:02 +0000 |
| commit | d2ff1974a7cd87d841e1bcaeb0d93665f70d9259 (patch) | |
| tree | 6f35a4d1f191739fe9f1c2c237f6ede3ed5c99ab /src/main | |
| parent | c39254b98c010397fa5b2da9513d7b3451d682d7 (diff) | |
Changing NodeBuilder::debugCheckType() to maybeCheckType()
Changing NodeManager/ExprManager constructors to take Options
Diffstat (limited to 'src/main')
| -rw-r--r-- | src/main/main.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/main.cpp b/src/main/main.cpp index 7943da0e7..38c75f0d3 100644 --- a/src/main/main.cpp +++ b/src/main/main.cpp @@ -172,7 +172,7 @@ int runCvc4(int argc, char* argv[]) { } // Create the expression manager - ExprManager exprMgr(options.earlyTypeChecking); + ExprManager exprMgr(options); // Create the SmtEngine SmtEngine smt(&exprMgr, options); |