From e09de8a91039416f6ac5fc708e9f7164a884f5a4 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Fri, 23 Apr 2021 12:49:09 +0000
Subject: [PATCH] Remove unnecessary size_t -> unsigned cast

`l1_index` is (only) passed to a function that expects a size_t-typed
argument.
---
 src/goto-symex/goto_symex_state.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/goto-symex/goto_symex_state.cpp b/src/goto-symex/goto_symex_state.cpp
index 66afccdbbd2..c8220ece05e 100644
--- a/src/goto-symex/goto_symex_state.cpp
+++ b/src/goto-symex/goto_symex_state.cpp
@@ -800,7 +800,7 @@ ssa_exprt goto_symex_statet::add_object(
 
   const renamedt<ssa_exprt, L0> renamed = rename_ssa<L0>(ssa_exprt{expr}, ns);
   const irep_idt l0_name = renamed.get_identifier();
-  const auto l1_index = narrow_cast<unsigned>(index_generator(l0_name));
+  const std::size_t l1_index = index_generator(l0_name);
 
   if(const auto old_value = level1.insert_or_replace(renamed, l1_index))
   {