From e25e0b3076030950b1fc80f88ef81ba1606bab60 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Mon, 12 Nov 2018 08:44:39 +0000
Subject: [PATCH] Do not shadow parameter is_virtual

The local variable refers to the base class, thus name it as such.
---
 src/cpp/cpp_typecheck_bases.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/cpp/cpp_typecheck_bases.cpp b/src/cpp/cpp_typecheck_bases.cpp
index bf282416127..703a49a5a76 100644
--- a/src/cpp/cpp_typecheck_bases.cpp
+++ b/src/cpp/cpp_typecheck_bases.cpp
@@ -155,7 +155,7 @@ void cpp_typecheckt::add_base_components(
 
     const symbolt &symb = lookup(b.type());
 
-    const bool is_virtual = b.get_bool(ID_virtual);
+    const bool is_virtual_base = b.get_bool(ID_virtual);
 
     // recursive call
     add_base_components(
@@ -164,7 +164,7 @@ void cpp_typecheckt::add_base_components(
       to,
       bases,
       vbases,
-      is_virtual);
+      is_virtual_base);
   }
 
   // add the components