diff options
Diffstat (limited to 'Source/Houdini/AbstractHoudini.cs')
-rw-r--r-- | Source/Houdini/AbstractHoudini.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Houdini/AbstractHoudini.cs b/Source/Houdini/AbstractHoudini.cs index 57ef660d..8b038554 100644 --- a/Source/Houdini/AbstractHoudini.cs +++ b/Source/Houdini/AbstractHoudini.cs @@ -4602,7 +4602,7 @@ namespace Microsoft.Boogie.Houdini { model = null;
}
- public override void OnModel(IList<string> labels, Model model)
+ public override void OnModel(IList<string> labels, Model model, ProverInterface.Outcome proverOutcome)
{
Debug.Assert(model != null);
if(CommandLineOptions.Clo.PrintErrorModel >= 1) model.Write(Console.Out);
|