diff options
| author |  Rustan Leino <unknown> | 2014-08-12 15:38:24 -0700 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2014-08-12 15:38:24 -0700 |
| commit | bc4e2c251a29902d7421f313aa3c55ba203d1608 (patch) | |
| tree | b761e23b2bfcfabe8aa6bd99a7b9f826fb14196e /Source/Dafny | |
| parent | c28ad1d1565e60dfd14164366552efb18876872f (diff) | |
Addressed CodeContract complaint about purity
Diffstat (limited to 'Source/Dafny')
| -rw-r--r-- | Source/Dafny/DafnyAst.cs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Source/Dafny/DafnyAst.cs b/Source/Dafny/DafnyAst.cs index ba21e377..06165693 100644 --- a/Source/Dafny/DafnyAst.cs +++ b/Source/Dafny/DafnyAst.cs @@ -575,6 +575,7 @@ namespace Microsoft.Dafny { return "_Func" + arity;
}
+ [Pure]
public static bool IsArrowTypeName(string s) {
return s.StartsWith("_Func");
}
|