M include/scopes/config.h +1 -1
@@ 25,7 25,7 @@
#define SCOPES_EARLY_ABORT 0
// print a list of cumulative timers on program exit
-#define SCOPES_PRINT_TIMERS 1
+#define SCOPES_PRINT_TIMERS 0
// maximum number of recursions permitted during partial evaluation
// if you think you need more, ask yourself if ad-hoc compiling a pure C function
M src/prover.cpp +1 -1
@@ 518,7 518,7 @@ static SCOPES_RESULT(void) drop_value(co
SCOPES_CHECK_RESULT(build_drop(ctx, anchor, arg));
auto argT = arg.get_type();
int id = get_unique(argT)->id;
- #if 0
+ #if 1
if (needs_autofree(argT)) {
build_free(ctx, anchor, ref(anchor, ExtractArgument::from(arg.value, arg.index)));
}