From 3538bb85549ba0326c99c7f392a907848ae15192 Mon Sep 17 00:00:00 2001
From: ajreynol <andrew.j.reynolds@gmail.com>
Date: Wed, 7 Feb 2024 13:51:01 -0600
Subject: [PATCH] Minor

---
 src/cmd_parser.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/cmd_parser.cpp b/src/cmd_parser.cpp
index 3140d48b..08ffe627 100644
--- a/src/cmd_parser.cpp
+++ b/src/cmd_parser.cpp
@@ -163,6 +163,7 @@ bool CmdParser::parseNextCommand()
       }
       else
       {
+        sk = Kind::CONST;
         if (tok==Token::DECLARE_ORACLE_FUN)
         {
           ck = Attr::ORACLE;
@@ -172,7 +173,6 @@ bool CmdParser::parseNextCommand()
         }
         else if (tok==Token::DECLARE_CONST || tok==Token::DECLARE_FUN)
         {
-          sk = Kind::CONST;
           // possible attribute list
           AttrMap attrs;
           d_eparser.parseAttributeList(t, attrs);