diff --git a/src/smt_solver/commands.txt b/src/smt_solver/commands.txt
index 1170fcc..71e4a45 100644
--- a/src/smt_solver/commands.txt
+++ b/src/smt_solver/commands.txt
@@ -18,3 +18,6 @@ output: klee-last (klee tests)
 #ouput klee tests
 ktest-tool klee-last/test000001.ktest
 ouput: test-stats
+
+#klee_headers = "#include </opt/homebrew/opt/klee/include/klee/klee.h>\n#include <stdbool.h>\n"
+