diff options
Diffstat (limited to 'Source/VCGeneration/ConditionGeneration.ssc')
| -rw-r--r-- | Source/VCGeneration/ConditionGeneration.ssc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Source/VCGeneration/ConditionGeneration.ssc b/Source/VCGeneration/ConditionGeneration.ssc index 2129b1fb..9bfa56ab 100644 --- a/Source/VCGeneration/ConditionGeneration.ssc +++ b/Source/VCGeneration/ConditionGeneration.ssc @@ -120,6 +120,10 @@ namespace Microsoft.Boogie public virtual void OnUnreachableCode(Implementation! impl)
{
}
+
+ public virtual void OnWarning(string! msg)
+ {
+ }
}
}
|