diff options
Diffstat (limited to 'Source/Core/VCExp.cs')
-rw-r--r-- | Source/Core/VCExp.cs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Source/Core/VCExp.cs b/Source/Core/VCExp.cs index 6bc43e14..1e82224c 100644 --- a/Source/Core/VCExp.cs +++ b/Source/Core/VCExp.cs @@ -202,6 +202,10 @@ The generic options may or may not be used by the prover plugin. }
}
+ public virtual bool SupportsLabels(ProverOptions options) {
+ return true;
+ }
+
public virtual void Close() {
}
|