diff --git a/src/test/contracts/bytes_arithmetic.mligo b/src/test/contracts/bytes_arithmetic.mligo
index bf10b39a7..b084181b1 100644
--- a/src/test/contracts/bytes_arithmetic.mligo
+++ b/src/test/contracts/bytes_arithmetic.mligo
@@ -2,7 +2,7 @@ let concat_op (s : bytes) : bytes =
    Bytes.concat s ("7070" : bytes)
 
 let slice_op (s : bytes) : bytes =
-   Bytes.slice 1p 2p s
+   Bytes.slice 1n 2n s
 
 let hasherman (s : bytes) : bytes =
    Crypto.sha256 s
diff --git a/src/test/integration_tests.ml b/src/test/integration_tests.ml
index 0acc6bfff..f670f11c6 100644
--- a/src/test/integration_tests.ml
+++ b/src/test/integration_tests.ml
@@ -303,9 +303,9 @@ let bytes_arithmetic_mligo () : unit result =
   let%bind () = expect_eq program "slice_op" tata at in
   let%bind () = expect_fail program "slice_op" foo in
   let%bind () = expect_fail program "slice_op" ba in
-  let%bind b1 = Run.Of_simplified.run_typed_program program "hasherman" foo in
+  let%bind b1 = Run.Of_simplified.run_typed_program program Typer.Solver.initial_state "hasherman" foo in
   let%bind () = expect_eq program "hasherman" foo b1 in
-  let%bind b3 = Run.Of_simplified.run_typed_program program "hasherman" foototo in
+  let%bind b3 = Run.Of_simplified.run_typed_program program Typer.Solver.initial_state "hasherman" foototo in
   let%bind () = Assert.assert_fail @@ Ast_simplified.Misc.assert_value_eq (b3 , b1) in
   ok ()