9647c1c7ecd4 — Leonard Ritter release-0.14 4 years ago 
* re-enabled autofree of unique heap pointers
* hiding cumulative timers by default again
patch browse 
2 files changed, 2 insertions(+), 2 deletions(-)

M include/scopes/config.h
M src/prover.cpp

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)));
     }