# HG changeset patch
# User Leonard Ritter <contact@leonard-ritter.com>
# Date 1555523096 -7200
#      Wed Apr 17 19:44:56 2019 +0200
# Node ID 9647c1c7ecd497065402a7c3ab3f47d9114b719c
# Parent  c703a12375c126a048e96dd1a5065d88efcdbd54
* re-enabled autofree of unique heap pointers
* hiding cumulative timers by default again

diff --git a/include/scopes/config.h b/include/scopes/config.h
--- a/include/scopes/config.h
+++ b/include/scopes/config.h
@@ -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
diff --git a/src/prover.cpp b/src/prover.cpp
--- a/src/prover.cpp
+++ b/src/prover.cpp
@@ -518,7 +518,7 @@
     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)));
     }