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);