diff options
Diffstat (limited to 'Source/Doomed')
| -rw-r--r-- | Source/Doomed/DoomErrorHandler.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Doomed/DoomErrorHandler.cs b/Source/Doomed/DoomErrorHandler.cs index a85adbe1..8d89bae3 100644 --- a/Source/Doomed/DoomErrorHandler.cs +++ b/Source/Doomed/DoomErrorHandler.cs @@ -62,7 +62,7 @@ namespace VC }
}
- public override void OnModel(IList<string>/*!>!*/ labels, Model model)
+ public override void OnModel(IList<string>/*!>!*/ labels, Model model, ProverInterface.Outcome proverOutcome)
{
// TODO: it would be better to check which reachability variables are actually set to one!
List<Block> traceNodes = new List<Block>();
|