diff --git a/src/java_bytecode/java_types.cpp b/src/java_bytecode/java_types.cpp
index cf09b4a5457..3b73d96d90d 100644
--- a/src/java_bytecode/java_types.cpp
+++ b/src/java_bytecode/java_types.cpp
@@ -164,7 +164,7 @@ Function: java_boolean_type
 
 typet java_boolean_type()
 {
-  return c_bool_typet(8);
+  return signedbv_typet(32);
 }
 
 /*******************************************************************\