Update finish_rewriting.cpp

runtimeverification · Dec 18, 2024 · 673a68c · 673a68c
1 parent 37b876d
commit 673a68c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/runtime/util/finish_rewriting.cpp b/runtime/util/finish_rewriting.cpp
@@ -9,6 +9,7 @@
 
 extern "C" {
 
+char *input_filename;
 FILE *output_file = nullptr;
 void *proof_writer = nullptr;
 bool statistics = false;