diff options
Diffstat (limited to 'Dafny/DafnyAst.cs')
-rw-r--r-- | Dafny/DafnyAst.cs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Dafny/DafnyAst.cs b/Dafny/DafnyAst.cs index 5592815f..269c8069 100644 --- a/Dafny/DafnyAst.cs +++ b/Dafny/DafnyAst.cs @@ -540,6 +540,7 @@ namespace Microsoft.Dafny { return false;
} else if (ResolvedClass is IndDatatypeDecl) {
var dt = (IndDatatypeDecl)ResolvedClass;
+#if SOON
Contract.Assume(dt.EqualitySupport != IndDatatypeDecl.ES.NotYetComputed);
if (dt.EqualitySupport == IndDatatypeDecl.ES.Never) {
return false;
@@ -552,6 +553,7 @@ namespace Microsoft.Dafny { }
i++;
}
+#endif
return true;
} else if (ResolvedParam != null) {
return ResolvedParam.MustSupportEquality;
|