[sledge][NFC] Minor code cleanup

Reviewed By: bennostein

Differential Revision: D17844328

fbshipit-source-id: 32aac2f3f

sledge/src/llair/llair.ml

@@ -434,13 +434,9 @@ module Func = struct
 
   let entry_cfg func = fold_cfg ~init:[] ~f:(fun cfg blk -> blk :: cfg) func
 
-  let pp fs
+  let pp fs func =
-      ( { name
+    let {name; formals; freturn; entry; _} = func in
-        ; formals
+    let {cmnd; term; sort_index; _} = entry in
-        ; freturn
-        ; fthrow= _
-        ; locals= _
-        ; entry= {cmnd; term; sort_index; _} } as func ) =
     let pp_if cnd str fs = if cnd then Format.fprintf fs str in
     Format.fprintf fs "@[<v>@[<v>%a%a@[<2>%a%a@]%t@]"
       (Option.pp "%a " Typ.pp)