diff --git a/src/kernel_services/analysis/interpreted_automata.ml b/src/kernel_services/analysis/interpreted_automata.ml
index 9fc6cafe512558758728729d301625ebadb3cd46..15695fd44618e83dc078d8e67016517d65bc7baa 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 |>