diff --git a/src/transformations/native_nn_prover.ml b/src/transformations/native_nn_prover.ml
index bc705a6b9bea65ed3dd9c4d9a0ab414f1d52c4de..177220b93172bdb6d8daa30af36807f5a3bac3fb 100644
--- a/src/transformations/native_nn_prover.ml
+++ b/src/transformations/native_nn_prover.ml
@@ -93,7 +93,7 @@ let simplify_goal env input_variables =
     None
 
 let trans_nn_apply env =
-  Trans.seq [ Trans.bind Utils.get_input_variables (simplify_goal env) ]
+  Trans.bind Utils.get_input_variables (simplify_goal env)
 
 (* Create logic symbols for output variables and simplify the formula. *)
 let simplify_goal _env input_variables =
@@ -175,4 +175,4 @@ let simplify_goal _env input_variables =
     None
 
 let trans_nn_classifier env =
-  Trans.seq [ Trans.bind Utils.get_input_variables (simplify_goal env) ]
+  Trans.bind Utils.get_input_variables (simplify_goal env)