Fix compiler warnings

runtimeverification · Mar 20, 2023 · 525bb35 · 525bb35
1 parent b61b241
commit 525bb35
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/k-distribution/include/kframework/cparser/main.c b/k-distribution/include/kframework/cparser/main.c
@@ -139,8 +139,7 @@ extern char *filename;
 #define PARSER_FUNCTION NAME(K_BISON_PARSER_SORT)
 
 void PARSER_FUNCTION(
-    char const *program_name, char const *input_file,
-    char const *location_file) {
+    char *program_name, char *input_file, char *location_file) {
   yyscan_t scanner;
   yylex_init(&scanner);
 
@@ -173,7 +172,7 @@ int main(int argc, char **argv) {
     exit(1);
   }
 
-  char const *location_file;
+  char *location_file;
   if (argc == 3) {
     location_file = argv[2];
   } else {