From 9c277e97320932bb44a432e57ef8b83e105e32b4 Mon Sep 17 00:00:00 2001 From: Josh Berdine Date: Tue, 4 Jun 2019 01:35:42 -0700 Subject: [PATCH] [sledge] Simplify Llair.pp Summary: NFC refactor Reviewed By: kren1 Differential Revision: D15614568 fbshipit-source-id: 0abaa9afd --- sledge/src/llair/llair.ml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) 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) )