diff options
-rw-r--r-- | Source/VCExpr/SimplifyLikeLineariser.cs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Source/VCExpr/SimplifyLikeLineariser.cs b/Source/VCExpr/SimplifyLikeLineariser.cs index 1ee61bfc..693fcf76 100644 --- a/Source/VCExpr/SimplifyLikeLineariser.cs +++ b/Source/VCExpr/SimplifyLikeLineariser.cs @@ -245,7 +245,6 @@ Contract.Ensures(Contract.Result<string>() != null); private static void TypeToStringHelper(Type t, StringBuilder sb)
{
Contract.Requires(t != null);
- Contract.Ensures(Contract.Result<string>() != null);
TypeSynonymAnnotation syn = t as TypeSynonymAnnotation;
if (syn != null) {
|