diff --git a/platform/script-debugger/protocol/protocol-model-generator/src/org/jetbrains/protocolReader/Generator.java b/platform/script-debugger/protocol/protocol-model-generator/src/org/jetbrains/protocolReader/Generator.java index 0f6dda99c28b..bd13e9f78628 100644 --- a/platform/script-debugger/protocol/protocol-model-generator/src/org/jetbrains/protocolReader/Generator.java +++ b/platform/script-debugger/protocol/protocol-model-generator/src/org/jetbrains/protocolReader/Generator.java @@ -313,6 +313,7 @@ class Generator { } return visitor.visitString(); case INTEGER_TYPE: + case "int": return visitor.visitInteger(); case NUMBER_TYPE: return visitor.visitNumber();