diff --git a/src/binary_c_python.c b/src/binary_c_python.c index 8b8478da263c6d1df359ae208819a5f48d9f75dc..477f3705c35d5dd89d15e9cfeb71ebc65248e2b3 100644 --- a/src/binary_c_python.c +++ b/src/binary_c_python.c @@ -620,7 +620,8 @@ int run_system(char * argstring, Boolean free_store = FALSE; if (store_memaddr == -1) { - Boolean free_store = TRUE; + debug_printf("Decided to free the store memaddr\n"); + free_store = TRUE; } /* Determine whether to free the persistent data memory adress*/ @@ -628,7 +629,7 @@ int run_system(char * argstring, if (persistent_data_memaddr == -1) { debug_printf("Decided to free the persistent_data memaddr\n"); - Boolean free_persistent_data = TRUE; + free_persistent_data = TRUE; } /* free stardata (except the buffer) */