From 330a9345dd9f010bd7f0c6b4a4e2b58a8d3297df Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Tue, 11 Apr 2023 16:38:34 +0200
Subject: [PATCH] [trans] Remove useless transformation sequencing.
---
src/transformations/native_nn_prover.ml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/transformations/native_nn_prover.ml b/src/transformations/native_nn_prover.ml
index bc705a6..177220b 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)
--
GitLab