diff --git a/sledge/src/llair/llair.ml b/sledge/src/llair/llair.ml index 03da1a571..29122d23d 100644 --- a/sledge/src/llair/llair.ml +++ b/sledge/src/llair/llair.ml @@ -564,5 +564,4 @@ let pp fs {globals; functions} = globals (List.pp "@\n@\n" Func.pp) ( Map.data functions - |> List.sort ~compare:(fun x y -> - Int.compare x.entry.sort_index y.entry.sort_index ) ) + |> List.sort ~compare:(fun x y -> compare_block x.entry y.entry) )