diff --git a/src/test/coase_tests.ml b/src/test/coase_tests.ml
index a133fe792..32b21deba 100644
--- a/src/test/coase_tests.ml
+++ b/src/test/coase_tests.ml
@@ -19,8 +19,8 @@ let get_program =
       )
 
 let compile_main () = 
-  let%bind _ = Compile.Wrapper.source_to_michelson_contract
-      (Syntax_name "pascaligo") "./contracts/coase.ligo" "main" in
+  let%bind (_ : Tezos_utils.Michelson.michelson * (Ast_typed.program * Typer.Solver.state * Ast_typed.Types.full_environment)) =
+    Compile.Wrapper.source_to_michelson_contract (Syntax_name "pascaligo") "./contracts/coase.ligo" "main" in
   ok ()
 
 open Ast_simplified
diff --git a/src/test/multisig_tests.ml b/src/test/multisig_tests.ml
index b97e0f161..b90b56ed2 100644
--- a/src/test/multisig_tests.ml
+++ b/src/test/multisig_tests.ml
@@ -16,8 +16,8 @@ let get_program =
       )
 
 let compile_main () = 
-  let%bind _ = Compile.Wrapper.source_to_michelson_contract
-      (Syntax_name "pascaligo") "./contracts/multisig.ligo" "main" in
+  let%bind (_ : Tezos_utils.Michelson.michelson * (Ast_typed.program * Typer.Solver.state * Ast_typed.Types.full_environment)) =
+    Compile.Wrapper.source_to_michelson_contract (Syntax_name "pascaligo") "./contracts/multisig.ligo" "main" in
   ok ()
 
 open Ast_simplified
diff --git a/src/test/multisig_v2_tests.ml b/src/test/multisig_v2_tests.ml
index c0f39f181..4ddbb7b61 100644
--- a/src/test/multisig_v2_tests.ml
+++ b/src/test/multisig_v2_tests.ml
@@ -16,7 +16,8 @@ let get_program =
       )
 
 let compile_main () = 
-  let%bind _ = Compile.Wrapper.source_to_michelson_contract (Syntax_name "pascaligo") "./contracts/multisig-v2.ligo" "main" in
+  let%bind (_ : Tezos_utils.Michelson.michelson * (Ast_typed.program * Typer.Solver.state * Ast_typed.Types.full_environment)) =
+    Compile.Wrapper.source_to_michelson_contract (Syntax_name "pascaligo") "./contracts/multisig-v2.ligo" "main" in
   ok ()
 
 open Ast_simplified