From cbf1680e36f91af00f489d125c90b28f812f33c0 Mon Sep 17 00:00:00 2001 From: Tom Jack Date: Fri, 3 Jul 2020 08:24:50 -0500 Subject: [PATCH] Remove trace_strong in compiler --- src/passes/13-stacking/compiler_program.ml | 1 - 1 file changed, 1 deletion(-) diff --git a/src/passes/13-stacking/compiler_program.ml b/src/passes/13-stacking/compiler_program.ml index 2727ed50a..9f045572b 100644 --- a/src/passes/13-stacking/compiler_program.ml +++ b/src/passes/13-stacking/compiler_program.ml @@ -225,7 +225,6 @@ and translate_expression (expr:expression) (env:environment) : (michelson , stac | _ -> fail @@ corner_case ~loc:__LOC__ "expected function type" ) | E_application (f , arg) -> ( - trace_strong (corner_case ~loc:__LOC__ "Compiling quote application") @@ let%bind f = translate_expression f (Environment.add (Location.wrap @@ Var.fresh (), arg.type_expression) env) in let%bind arg = translate_expression arg env in return @@ seq [