diff --git a/src/test/test_helpers.ml b/src/test/test_helpers.ml
index 12ea7cc9c..9ed64a53c 100644
--- a/src/test/test_helpers.ml
+++ b/src/test/test_helpers.ml
@@ -99,7 +99,8 @@ let typed_program_with_imperative_input_to_michelson
   let%bind sugar            = Compile.Of_imperative.compile_expression input in
   let%bind core             = Compile.Of_sugar.compile_expression sugar in
   let%bind app              = Compile.Of_core.apply entry_point core in
-  let%bind (typed_app,_)    = Compile.Of_core.compile_expression ~env ~state app in
+  let%bind (typed_app,new_state)    = Compile.Of_core.compile_expression ~env ~state app in
+  let () = Typer.Solver.discard_state new_state in
   let%bind compiled_applied = Compile.Of_typed.compile_expression typed_app in
   let%bind mini_c_prg       = Compile.Of_typed.compile program in
   Compile.Of_mini_c.aggregate_and_compile_expression mini_c_prg compiled_applied