diff options
Diffstat (limited to 'Source/Provers/Z3/Prover.ssc')
| -rw-r--r-- | Source/Provers/Z3/Prover.ssc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Provers/Z3/Prover.ssc b/Source/Provers/Z3/Prover.ssc index d3212a9c..13c71814 100644 --- a/Source/Provers/Z3/Prover.ssc +++ b/Source/Provers/Z3/Prover.ssc @@ -247,7 +247,7 @@ namespace Microsoft.Boogie.Z3 if (line.StartsWith("WARNING: ")) {
string w = line.Substring(9);
- ReportWarning(w);
+ handler.OnProverWarning(w);
continue;
}
|