diff --git a/jbmc/src/java_bytecode/java_bytecode_convert_class.cpp b/jbmc/src/java_bytecode/java_bytecode_convert_class.cpp
index 913bf8cd0da..7d19022f4c3 100644
--- a/jbmc/src/java_bytecode/java_bytecode_convert_class.cpp
+++ b/jbmc/src/java_bytecode/java_bytecode_convert_class.cpp
@@ -332,7 +332,7 @@ void java_bytecode_convert_classt::convert(
     class_type.set(
       ID_java_enum_static_unwind,
       std::to_string(c.enum_elements+1));
-    class_type.set(ID_enumeration, true);
+    class_type.set_is_enumeration(true);
   }
 
   if(c.is_public)
diff --git a/jbmc/src/java_bytecode/java_types.h b/jbmc/src/java_bytecode/java_types.h
index a50f6deb089..c2e9aed7342 100644
--- a/jbmc/src/java_bytecode/java_types.h
+++ b/jbmc/src/java_bytecode/java_types.h
@@ -248,6 +248,18 @@ class java_class_typet:public class_typet
     return get_bool(ID_incomplete_class);
   }
 
+  /// is class an enumeration?
+  bool get_is_enumeration() const
+  {
+    return get_bool(ID_enumeration);
+  }
+
+  /// marks class as an enumeration
+  void set_is_enumeration(const bool is_enumeration)
+  {
+    set(ID_enumeration, is_enumeration);
+  }
+
   // it may be better to introduce a class like
   // class java_lambda_method_handlet : private irept
   // {