diff options
Diffstat (limited to 'Source/VCGeneration/Check.cs')
| -rw-r--r-- | Source/VCGeneration/Check.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/VCGeneration/Check.cs b/Source/VCGeneration/Check.cs index 5702111d..832d4430 100644 --- a/Source/VCGeneration/Check.cs +++ b/Source/VCGeneration/Check.cs @@ -824,7 +824,7 @@ namespace Microsoft.Boogie { }
// (check-sat + get-unsat-core)
- public virtual void CheckAssumptions(List<VCExpr> assumptions, out List<int> unsatCore)
+ public virtual Outcome CheckAssumptions(List<VCExpr> assumptions, out List<int> unsatCore)
{
throw new NotImplementedException();
}
|