Minor

cvc5 · Feb 7, 2024 · 3538bb8 · 3538bb8
1 parent 39e663e
commit 3538bb8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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);