diff options
Diffstat (limited to 'Source/Dafny/Compiler.cs')
-rw-r--r-- | Source/Dafny/Compiler.cs | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/Source/Dafny/Compiler.cs b/Source/Dafny/Compiler.cs index 97492776..ca779bf1 100644 --- a/Source/Dafny/Compiler.cs +++ b/Source/Dafny/Compiler.cs @@ -487,9 +487,6 @@ namespace Microsoft.Dafny { }
}
- } else if (member is CouplingInvariant) {
- Error("coupling invariants are not supported in compilation");
-
} else {
Contract.Assert(false); throw new cce.UnreachableException(); // unexpected member
}
|