From b3ee26361e48e7b0dce59767c10e09be4e9fee44 Mon Sep 17 00:00:00 2001
From: MichalMoskal <unknown>
Date: Thu, 4 Nov 2010 22:44:41 +0000
Subject: Refactor the Namer into two classes

---
 Source/ModelViewer/BaseProvider.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Source/ModelViewer/BaseProvider.cs')

diff --git a/Source/ModelViewer/BaseProvider.cs b/Source/ModelViewer/BaseProvider.cs
index 096bb35a..c4bae59e 100644
--- a/Source/ModelViewer/BaseProvider.cs
+++ b/Source/ModelViewer/BaseProvider.cs
@@ -30,7 +30,7 @@ namespace Microsoft.Boogie.ModelViewer.Base
 
     public IEnumerable<string> SortFields(IEnumerable<string> fields)
     {
-      return Namer.DefaultSortFields(fields);
+      return GlobalNamer.DefaultSortFields(fields);
     }
   }
 
-- 
cgit v1.2.3