[#1304] Checkpoint before regen (2)

diff --git a/src/bin/agent/agent_lexer.ll b/src/bin/agent/agent_lexer.ll
index 37d3df9fda3617973795326e53fa97f7bcc4f8bf..6c9d390eab9748a1e15fefc937813cdf3543baac 100644 (file)
--- a/src/bin/agent/agent_lexer.ll
+++ b/src/bin/agent/agent_lexer.ll
@@ -203,7 +203,7 @@ ControlCharacterFill            [^"\\]|\\{JSONEscapeSequence}
 \"user-context\" {
     switch(driver.ctx_) {
     case ParserContext::AGENT:
-    case ParserContext::AUTHENTICATION;
+    case ParserContext::AUTHENTICATION:
     case ParserContext::CLIENTS:
     case ParserContext::SERVER:
     case ParserContext::LOGGERS:
@@ -216,7 +216,7 @@ ControlCharacterFill            [^"\\]|\\{JSONEscapeSequence}
 \"comment\" {
     switch(driver.ctx_) {
     case ParserContext::AGENT:
-    case ParserContext::AUTHENTICATION;
+    case ParserContext::AUTHENTICATION:
     case ParserContext::CLIENTS:
     case ParserContext::SERVER:
     case ParserContext::LOGGERS: