diff options
Diffstat (limited to 'Source/Houdini/Checker.cs')
-rw-r--r-- | Source/Houdini/Checker.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Houdini/Checker.cs b/Source/Houdini/Checker.cs index 97c22cc9..519a01af 100644 --- a/Source/Houdini/Checker.cs +++ b/Source/Houdini/Checker.cs @@ -50,7 +50,7 @@ namespace Microsoft.Boogie.Houdini { ModelViewInfo mvInfo;
Hashtable/*TransferCmd->ReturnCmd*/ gotoCmdOrigins = PassifyImpl(impl, program, out mvInfo);
Hashtable/*<int, Absy!>*/ label2absy;
- checker = new Checker(this, program, logFilePath, appendLogFile, impl, CommandLineOptions.Clo.ProverKillTime);
+ checker = new Checker(this, program, logFilePath, appendLogFile, CommandLineOptions.Clo.ProverKillTime);
if (!(checker.TheoremProver is Z3ProcessTheoremProver || checker.TheoremProver is SMTLibProcessTheoremProver)) {
throw new Exception("HdnChecker only works with z3");
}
|