diff --git a/src/java_bytecode/java_entry_point.cpp b/src/java_bytecode/java_entry_point.cpp
index e504441bae6..3e4de0cdea5 100644
--- a/src/java_bytecode/java_entry_point.cpp
+++ b/src/java_bytecode/java_entry_point.cpp
@@ -194,8 +194,7 @@ bool java_static_lifetime_init(
         {
           it->second.symbol_expr(),
           class_symbol.type.get_bool(ID_enumeration)
-        }
-      );
+        });
     }
   }