From 200b4ec1731f47c48e972a21e7e3704f861e6293 Mon Sep 17 00:00:00 2001
From: Daniel Kroening <dkr@amazon.com>
Date: Mon, 15 Apr 2024 09:00:34 -0700
Subject: [PATCH] fixup for 4b56ef0ed71fba918d0db55f69dab80df8f268f7

This restores code accidentally commented out in
4b56ef0ed71fba918d0db55f69dab80df8f268f7.
---
 src/verilog/verilog_typecheck_expr.cpp | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/verilog/verilog_typecheck_expr.cpp b/src/verilog/verilog_typecheck_expr.cpp
index 5b5bf5958..d00e77f80 100644
--- a/src/verilog/verilog_typecheck_expr.cpp
+++ b/src/verilog/verilog_typecheck_expr.cpp
@@ -1592,7 +1592,6 @@ void verilog_typecheck_exprt::implicit_typecast(
       return;
     }
   }
-#if 0
   else if(src_type.id() == ID_natural)
   {
     if(dest_type.id()==ID_integer)
@@ -1601,7 +1600,6 @@ void verilog_typecheck_exprt::implicit_typecast(
       return;
     }
   }
-#endif
   else if(
     src_type.id() == ID_bool || src_type.id() == ID_unsignedbv ||
     src_type.id() == ID_signedbv || src_type.id() == ID_verilog_unsignedbv ||