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 e36d32ef..1cb27648 100644 --- a/Source/Houdini/Checker.cs +++ b/Source/Houdini/Checker.cs @@ -25,7 +25,7 @@ namespace Microsoft.Boogie.Houdini { private ProverInterface.ErrorHandler handler;
ConditionGeneration.CounterexampleCollector collector;
- public HoudiniSession(VCGen vcgen, Checker checker, Program program, Implementation impl, string logFilePath, bool appendLogFile) {
+ public HoudiniSession(VCGen vcgen, Checker checker, Program program, Implementation impl) {
descriptiveName = impl.Name;
collector = new ConditionGeneration.CounterexampleCollector();
collector.OnProgress("HdnVCGen", 0, 0, 0.0);
|