diff --git a/regression/verilog/bit-extract/bit-extract4.desc b/regression/verilog/bit-extract/bit-extract4.desc
new file mode 100644
index 000000000..9d2cd7d40
--- /dev/null
+++ b/regression/verilog/bit-extract/bit-extract4.desc
@@ -0,0 +1,7 @@
+CORE
+bit-extract4.sv
+--bound 0
+^EXIT=0$
+^SIGNAL=0$
+--
+^warning: ignoring
diff --git a/regression/verilog/bit-extract/bit-extract4.sv b/regression/verilog/bit-extract/bit-extract4.sv
new file mode 100644
index 000000000..d6d90aca9
--- /dev/null
+++ b/regression/verilog/bit-extract/bit-extract4.sv
@@ -0,0 +1,7 @@
+module main;
+
+  wire integer x = 'hff;
+
+  p0: assert property (x[7] == 1);
+
+endmodule
diff --git a/src/verilog/parser.y b/src/verilog/parser.y
index a23c7e7cd..2095502e8 100644
--- a/src/verilog/parser.y
+++ b/src/verilog/parser.y
@@ -1323,7 +1323,7 @@ integer_atom_type:
 	| TOK_SHORTINT { init($$, ID_verilog_shortint); }
 	| TOK_INT { init($$, ID_verilog_int); }
 	| TOK_LONGINT { init($$, ID_verilog_longint); }
-	| TOK_INTEGER { init($$, ID_integer); }
+	| TOK_INTEGER { init($$, ID_verilog_integer); }
 	| TOK_TIME { init($$, ID_verilog_time); }
 	;
 	
@@ -1804,7 +1804,7 @@ range_or_type_opt:
 range_or_type:
 	  packed_dimension
 	| TOK_INTEGER
-		{ init($$, ID_integer); }
+		{ init($$, ID_verilog_integer); }
 	| TOK_REAL
 		{ init($$, ID_verilog_real); }
 	| TOK_REALTIME
diff --git a/src/verilog/verilog_typecheck_type.cpp b/src/verilog/verilog_typecheck_type.cpp
index 5d249a255..3b5d6a901 100644
--- a/src/verilog/verilog_typecheck_type.cpp
+++ b/src/verilog/verilog_typecheck_type.cpp
@@ -35,10 +35,6 @@ typet verilog_typecheck_exprt::convert_type(const typet &src)
     // it's just a bit
     return bool_typet().with_source_location(source_location);
   }
-  else if(src.id() == ID_integer)
-  {
-    return integer_typet().with_source_location(source_location);
-  }
   else if(src.id() == ID_verilog_byte)
   {
     return signedbv_typet{8}.with_source_location(source_location);