summaryrefslogtreecommitdiff
path: root/Util/VS2010/DafnyExtension/DafnyExtension/IdentifierTagger.cs
diff options
context:
space:
mode:
authorGravatar Unknown <leino@LEINO6.redmond.corp.microsoft.com>2012-09-12 17:13:55 -0700
committerGravatar Unknown <leino@LEINO6.redmond.corp.microsoft.com>2012-09-12 17:13:55 -0700
commit631ebedeb6474212a6a6088a4a0d66aad6b7e68a (patch)
treee44aad0684659b93169f311b146d1cb27b9d6654 /Util/VS2010/DafnyExtension/DafnyExtension/IdentifierTagger.cs
parentcd933c5c97b61e04d0d0bd84ad961382e72b57b5 (diff)
Dafny: clone and merge attributes in refinements
Diffstat (limited to 'Util/VS2010/DafnyExtension/DafnyExtension/IdentifierTagger.cs')
0 files changed, 0 insertions, 0 deletions