diff options
author | Peter Collingbourne <peter@pcc.me.uk> | 2012-06-26 15:18:31 +0100 |
---|---|---|
committer | Peter Collingbourne <peter@pcc.me.uk> | 2012-06-26 15:18:31 +0100 |
commit | c96b4309a1764353ab62116110abeddff81b73e6 (patch) | |
tree | 2706caf8e1d31aef13bf557cdfe093f0aa531bf0 /Source/Model | |
parent | e34e53cb90a093168644c46b99f5c140655d1993 (diff) |
Model: sort variables by name
This makes the model file much easier to read.
Diffstat (limited to 'Source/Model')
-rw-r--r-- | Source/Model/Model.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Model/Model.cs b/Source/Model/Model.cs index 325ba03e..74684f0e 100644 --- a/Source/Model/Model.cs +++ b/Source/Model/Model.cs @@ -668,7 +668,7 @@ namespace Microsoft.Boogie public void Write(System.IO.TextWriter wr)
{
wr.WriteLine("*** MODEL");
- foreach (var f in Functions)
+ foreach (var f in Functions.OrderBy(f => f.Name))
if (f.Arity == 0) {
wr.WriteLine("{0} -> {1}", f.Name, f.GetConstant());
}
|