diff options
author | leino <unknown> | 2014-07-03 15:01:47 -0700 |
---|---|---|
committer | leino <unknown> | 2014-07-03 15:01:47 -0700 |
commit | 93d9965a347b1a6ad70007822f01c2b032ea5436 (patch) | |
tree | 52894aa4606363e21173091b9173df1df290a8ca /Source/Dafny | |
parent | 07d9fdefae99507fea05a87b2887b50e83adb615 (diff) | |
parent | bebfbaa98ac099cba47cfd1f02e6781ea257997f (diff) |
Merge
Diffstat (limited to 'Source/Dafny')
-rw-r--r-- | Source/Dafny/Translator.cs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/Dafny/Translator.cs b/Source/Dafny/Translator.cs index b0cdb3ae..7f29a25a 100644 --- a/Source/Dafny/Translator.cs +++ b/Source/Dafny/Translator.cs @@ -398,13 +398,13 @@ namespace Microsoft.Dafny { var impl = decl as Implementation;
if (impl != null && impl.FindStringAttribute("checksum") == null)
{
- impl.AddAttribute("checksum", "dummy");
+ impl.AddAttribute("checksum", "stable");
}
var func = decl as Bpl.Function;
if (func != null && func.FindStringAttribute("checksum") == null)
{
- func.AddAttribute("checksum", "dummy");
+ func.AddAttribute("checksum", "stable");
}
}
}
|