diff options
| author |  Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-06-11 14:24:51 -0700 |
|---|---|---|
| committer | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-06-11 14:24:51 -0700 |
| commit | d5606621b8146a258557c4824405c8331e4c8691 (patch) | |
| tree | d7051a448c55367fe24e63a95c4d4950ca6b54b1 /Dafny/Printer.cs | |
| parent | 28f11d51299ba82f7cfbdc284a4ed43158619ac8 (diff) | |
Dafny: removed support for the old keyword "unlimited" (all functions are limited)
Diffstat (limited to 'Dafny/Printer.cs')
| -rw-r--r-- | Dafny/Printer.cs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Dafny/Printer.cs b/Dafny/Printer.cs index e7cfbf27..e58a39de 100644 --- a/Dafny/Printer.cs +++ b/Dafny/Printer.cs @@ -222,7 +222,6 @@ namespace Microsoft.Dafny { var isPredicate = f is Predicate;
Indent(indent);
string k = isPredicate ? "predicate" : "function";
- if (f.IsUnlimited) { k = "unlimited " + k; }
if (f.IsStatic) { k = "static " + k; }
if (!f.IsGhost) { k += " method"; }
PrintClassMethodHelper(k, f.Attributes, f.Name, f.TypeArgs);
|