Renaming ExtractExpr into BvExtractExpr to fit naming scheme of the other bitvector operations

1 files changed, 3 insertions, 3 deletions

diff --git a/Source/Core/Parser.ssc b/Source/Core/Parser.ssc
index e91eaf7c..8ae741ab 100644
--- a/Source/Core/Parser.ssc
+++ b/Source/Core/Parser.ssc
@@ -1617,9 +1617,9 @@ out VariableSeq! ins, out VariableSeq! outs, out QKeyValue kv) {
 			if (store)

 			 e = new NAryExpr(x, new MapStore(x, allArgs.Length - 2), allArgs);

 			else if (bvExtract)

-			  e = new ExtractExpr(x, e,

-			                      ((BvBounds)index0).Upper.ToIntSafe,

-			                      ((BvBounds)index0).Lower.ToIntSafe);

+			  e = new BvExtractExpr(x, e,

+			                        ((BvBounds)index0).Upper.ToIntSafe,

+			                        ((BvBounds)index0).Lower.ToIntSafe);

 			else

 			  e = new NAryExpr(x, new MapSelect(x, allArgs.Length - 1), allArgs);