From e2a0f4614b14ca10d6813ed6ce3d84c077872770 Mon Sep 17 00:00:00 2001
From: pantazis <pdeligia@me.com>
Date: Thu, 13 Jun 2013 04:35:43 +0100
Subject: merged more CVC4 and Z3 SMTLIB2 parsing methods ... results into a
 more compact parser

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

(limited to 'Source/ModelViewer')

diff --git a/Source/ModelViewer/VccProvider.cs b/Source/ModelViewer/VccProvider.cs
index c226d646..b4540717 100644
--- a/Source/ModelViewer/VccProvider.cs
+++ b/Source/ModelViewer/VccProvider.cs
@@ -274,7 +274,7 @@ namespace Microsoft.Boogie.ModelViewer.Vcc
       new string[] {
       "$_pow2", "$as_composite_field", "$as_field_with_type", "$as_in_range_t",
       "$as_primitive_field", "$base", "$call_transition", "tickleBool", "Ctor",
-      "@MV_state", "$field", "$field_arr_root", "$field_kind", "$field_offset",
+      "$mv_state", "$field", "$field_arr_root", "$field_kind", "$field_offset",
       "$field_parent_type", "$field_type", "$file_name_is", "$good_state",
       "$good_state_ext", "$function_arg_type", "$has_field_at0", "$map_domain",
       "$map_range", "$map_t", "$ptr_to", "$ptr_to_i1", "$ptr_to_i2",
-- 
cgit v1.2.3