diff --git a/frontends/ast/genrtlil.cc b/frontends/ast/genrtlil.cc
index 5545fc169..9e1866832 100644
--- a/frontends/ast/genrtlil.cc
+++ b/frontends/ast/genrtlil.cc
@@ -599,8 +599,8 @@ void AstNode::detectSignWidthWorker(int &width_hint, bool &sign_hint, bool *foun
 			} else
 				this_width = range->range_left - range->range_right + 1;
 			sign_hint = false;
-		} else
-			width_hint = std::max(width_hint, this_width);
+		}
+		width_hint = std::max(width_hint, this_width);
 		if (!id_ast->is_signed)
 			sign_hint = false;
 		break;