diff --git a/src/plugins/aorai/aorai_utils.ml b/src/plugins/aorai/aorai_utils.ml
index 2d12e7d7442b3faa4573a45eaada61eab184344c..ecad61ea5c12e749a40a6b9bc58f09c1bbc10e17 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 ->