Commit a5fda43a authored by Valentin Perrelle's avatar Valentin Perrelle
Browse files

[Interpreted_automata] use Cil_datatype.Stmt.compare

parent 38710221
......@@ -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 |>
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment