Skip to content

Commit

Permalink
Simplify some module syntax (#880)
Browse files Browse the repository at this point in the history
  • Loading branch information
rvantonder authored and ivg committed Oct 4, 2018
1 parent 6eb311e commit 8bb0bc1
Showing 1 changed file with 3 additions and 5 deletions.
8 changes: 3 additions & 5 deletions lib/bap_disasm/bap_disasm_basic.ml
Original file line number Diff line number Diff line change
Expand Up @@ -339,11 +339,9 @@ let compare_full_insn i1 i2 =

type (+'a,+'k) insns = (mem * ('a,'k) insn option) list

module Pred = struct
include Comparable.Make(struct
type t = pred [@@deriving compare, sexp]
end)
end
module Pred = Comparable.Make(struct
type t = pred [@@deriving compare, sexp]
end)

module Preds = Pred.Set
type preds = Preds.t [@@deriving compare, sexp]
Expand Down

0 comments on commit 8bb0bc1

Please sign in to comment.