From a5fda43a748db1e9857680782c3b741208373bc1 Mon Sep 17 00:00:00 2001
From: Valentin Perrelle <valentin.perrelle@cea.fr>
Date: Tue, 17 Jan 2023 14:38:13 +0100
Subject: [PATCH] [Interpreted_automata] use Cil_datatype.Stmt.compare
---
src/kernel_services/analysis/interpreted_automata.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/kernel_services/analysis/interpreted_automata.ml b/src/kernel_services/analysis/interpreted_automata.ml
index 9fc6cafe512..15695fd4461 100644
--- a/src/kernel_services/analysis/interpreted_automata.ml
+++ b/src/kernel_services/analysis/interpreted_automata.ml
@@ -1332,7 +1332,7 @@ struct
| Some stmt -> Some (stmt,s)
in
let cmp (stmt1,_) (stmt2,_) =
- stmt1.sid - stmt2.sid
+ Cil_datatype.Stmt.compare stmt1 stmt2
in
States.to_seq states |> Seq.filter_map filter |>
List.of_seq |> List.fast_sort cmp |>
--
GitLab