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/Core/Util.ssc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Source/Core/Util.ssc')

diff --git a/Source/Core/Util.ssc b/Source/Core/Util.ssc
index 914ccf09..e90358ac 100644
--- a/Source/Core/Util.ssc
+++ b/Source/Core/Util.ssc
@@ -266,7 +266,7 @@ namespace Microsoft.Boogie
       }
       public static string! PrettyPrintBplExpr (Expr! e) {
         // anything that is unknown will just be printed via ToString
-        // OldExpr and QuantifierExpr, ExtractExpr, BvConcatExpr are ignored for now
+        // OldExpr and QuantifierExpr, BvExtractExpr, BvConcatExpr are ignored for now
         // LiteralExpr is printed as itself by ToString
         if (e is IdentifierExpr) {
           string s = e.ToString();
-- 
cgit v1.2.3