diff --git a/tools/java-event-log-tags.py b/tools/java-event-log-tags.py index 846d9cfd5..f364751c4 100755 --- a/tools/java-event-log-tags.py +++ b/tools/java-event-log-tags.py @@ -129,7 +129,7 @@ def javaName(name): out += "_" return out -javaTypes = ["ERROR", "int", "long", "String", "Object[]"] +javaTypes = ["ERROR", "int", "long", "String", "Object[]", "float"] for t in tagfile.tags: methodName = javaName("write_" + t.tagname) if t.description: