From f63646ed6edfdd656dec56f9068a4b27717ca4ed Mon Sep 17 00:00:00 2001
From: Valentin Perrelle <valentin.perrelle@cea.fr>
Date: Thu, 17 Nov 2022 17:20:02 +0000
Subject: [PATCH] [aorai] don't needlessly recompute assigns list
---
src/plugins/aorai/aorai_utils.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/aorai/aorai_utils.ml b/src/plugins/aorai/aorai_utils.ml
index 2d12e7d7442..ecad61ea5c1 100644
--- a/src/plugins/aorai/aorai_utils.ml
+++ b/src/plugins/aorai/aorai_utils.ml
@@ -1252,7 +1252,7 @@ let add_lval cond kf st acc =
let automaton_assigns kf st loc =
let assigns = automaton_locations loc in
- let from_automaton = fst (List.split (automaton_locations loc)) in
+ let from_automaton, _ = List.split assigns in
let vars =
List.fold_left
(fun acc tr ->
--
GitLab