summaryrefslogtreecommitdiff
path: root/Source/Core/AbsyExpr.cs
diff options
context:
space:
mode:
authorGravatar Ally Donaldson <unknown>2013-07-22 10:35:39 +0100
committerGravatar Ally Donaldson <unknown>2013-07-22 10:35:39 +0100
commit8547ab2737f6bcb185398e4cbc3edde3847cb085 (patch)
tree9d9f2aa2866d2ef38425c53899706fe47e5ea08f /Source/Core/AbsyExpr.cs
parentcd8e597689abb89e64454cc042a2f28619ea44f4 (diff)
Requires/EnsuresSeq replaced by List<Requires/Ensures>
Diffstat (limited to 'Source/Core/AbsyExpr.cs')
0 files changed, 0 insertions, 0 deletions