@@ -13,7 +13,7 @@
#include <errno.h>
#include <gc.h>
#include "version.h"
-/* HEAD HEAD */
+
jmp_buf interactive_checkpoint;
bool is_interactive;