From a4f2bf6414f35907ab135cc6723683fe632467c4 Mon Sep 17 00:00:00 2001
From: stobies <unknown>
Date: Mon, 7 Sep 2009 06:44:27 +0000
Subject: Renaming ExtractExpr into BvExtractExpr to fit naming scheme of the
 other bitvector operations

---
 Source/VCGeneration/VC.ssc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Source/VCGeneration')

diff --git a/Source/VCGeneration/VC.ssc b/Source/VCGeneration/VC.ssc
index eb54d1b9..bfdcf6c6 100644
--- a/Source/VCGeneration/VC.ssc
+++ b/Source/VCGeneration/VC.ssc
@@ -2686,8 +2686,8 @@ namespace VC
         // expression, thus just return -1
         return -1;
       } 
-      else if (expr is Bpl.ExtractExpr) {
-        Bpl.ExtractExpr ex = (Bpl.ExtractExpr) expr;
+      else if (expr is Bpl.BvExtractExpr) {
+        Bpl.BvExtractExpr ex = (Bpl.BvExtractExpr) expr;
         Bpl.Expr e0 = ex.Bitvector;
         Bpl.Expr e1 = new LiteralExpr(Token.NoToken, BigNum.FromInt(ex.Start));
         Bpl.Expr e2 = new LiteralExpr(Token.NoToken, BigNum.FromInt(ex.End));
-- 
cgit v1.2.3