diff options
Diffstat (limited to 'Source/ModelViewer/BaseProvider.cs')
| -rw-r--r-- | Source/ModelViewer/BaseProvider.cs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Source/ModelViewer/BaseProvider.cs b/Source/ModelViewer/BaseProvider.cs index 247021a0..096bb35a 100644 --- a/Source/ModelViewer/BaseProvider.cs +++ b/Source/ModelViewer/BaseProvider.cs @@ -27,6 +27,11 @@ namespace Microsoft.Boogie.ModelViewer.Base {
yield return new TopState("TOP", GetStateNodes(m));
}
+
+ public IEnumerable<string> SortFields(IEnumerable<string> fields)
+ {
+ return Namer.DefaultSortFields(fields);
+ }
}
public class StateNode : DisplayNode
|