1 files changed, 5 insertions, 1 deletions
diff --git a/Source/ModelViewer/VccProvider.cs b/Source/ModelViewer/VccProvider.cs
index ea213aef..1393b3a2 100644
--- a/Source/ModelViewer/VccProvider.cs
+++ b/Source/ModelViewer/VccProvider.cs
@@ -446,7 +446,7 @@ namespace Microsoft.Boogie.ModelViewer.Vcc
       kind = null;
       return null;
     }
-    
+
 
     private string LiteralName(Model.Element elt)
     {
@@ -465,6 +465,10 @@ namespace Microsoft.Boogie.ModelViewer.Vcc
       if (i != null)
         return AsPow2(i);
 
+      var bv = elt as Model.BitVector;
+      if (bv != null)
+        return bv.Numeral + "bv" + bv.Size.ToString();
+
       return null;
     }