diff --git a/src/plugins/e-acsl/tests/temporal/oracle/gen_t_darray.c b/src/plugins/e-acsl/tests/temporal/oracle/gen_t_darray.c
index 38bbe7c2a7a07b0b934eec36a0b5d03b31f31d37..1ba92043e0fbc851f23d0006230ceb11cde821a2 100644
--- a/src/plugins/e-acsl/tests/temporal/oracle/gen_t_darray.c
+++ b/src/plugins/e-acsl/tests/temporal/oracle/gen_t_darray.c
@@ -95,12 +95,12 @@ int main(int argc, char const **argv)
   abe_matrix(Vertices2);
   __e_acsl_temporal_reset_parameters();
   __e_acsl_temporal_reset_return();
-  __e_acsl_temporal_save_nblock_parameter((void *)(triple_vertices),0U);
-  abe_matrix((double (*)[4])(triple_vertices));
+  __e_acsl_temporal_save_nblock_parameter((void *)(triple_vertices[0]),0U);
+  abe_matrix(triple_vertices[0]);
   __e_acsl_temporal_reset_parameters();
   __e_acsl_temporal_reset_return();
-  __e_acsl_temporal_save_nblock_parameter((void *)(triple_vertices2),0U);
-  abe_matrix((double (*)[4])(triple_vertices2));
+  __e_acsl_temporal_save_nblock_parameter((void *)(triple_vertices2[0]),0U);
+  abe_matrix(triple_vertices2[0]);
   __retres = 0;
   __e_acsl_delete_block((void *)(Vertices2));
   __e_acsl_delete_block((void *)(Vertices));
diff --git a/src/plugins/e-acsl/tests/temporal/t_darray.c b/src/plugins/e-acsl/tests/temporal/t_darray.c
index 7f9270a489b71cc36343a696c7358fe1d1a47e86..88c1cf9712022c1c32ccf47259fe968c4f633f5b 100644
--- a/src/plugins/e-acsl/tests/temporal/t_darray.c
+++ b/src/plugins/e-acsl/tests/temporal/t_darray.c
@@ -32,7 +32,7 @@ int main(int argc, const char **argv) {
   abe_matrix(vertices3);
   abe_matrix(Vertices);
   abe_matrix(Vertices2);
-  abe_matrix(&triple_vertices[0]);
-  abe_matrix(&triple_vertices2[0]);
+  abe_matrix(triple_vertices[0]);
+  abe_matrix(triple_vertices2[0]);
   return 0;
 }