From 993dd87ee1db647fea5d0cd9b41da640d887f7e6 Mon Sep 17 00:00:00 2001 From: teresy Date: Thu, 20 Sep 2018 17:32:07 -0400 Subject: [PATCH] Simplify modules aliases --- lib/bap_disasm/bap_disasm_basic.ml | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/lib/bap_disasm/bap_disasm_basic.ml b/lib/bap_disasm/bap_disasm_basic.ml index e062cf368..e38fcdba5 100644 --- a/lib/bap_disasm/bap_disasm_basic.ml +++ b/lib/bap_disasm/bap_disasm_basic.ml @@ -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]