[sledge] Rename Hash_queue to HashQueue for consistency

Reviewed By: ngorogiannis

Differential Revision: D24306068

fbshipit-source-id: 7d70ee548
master
Josh Berdine 4 years ago committed by Facebook GitHub Bot
parent 9a238a76da
commit ad25b2be4e

@ -148,7 +148,7 @@ module Map = Map
module Multiset = Multiset module Multiset = Multiset
module HashTable = HashTable module HashTable = HashTable
module HashSet = HashSet module HashSet = HashSet
module Hash_queue = Core_kernel.Hash_queue module HashQueue = Core_kernel.Hash_queue
(** Input / Output *) (** Input / Output *)

@ -125,7 +125,7 @@ module Either = struct
let right v = Right v let right v = Right v
end end
module Hash_queue = Core_kernel.Hash_queue module HashQueue = Core_kernel.Hash_queue
(** Input / Output *) (** Input / Output *)

@ -404,8 +404,8 @@ module Block_label = struct
end end
module BlockS = HashSet.Make (Block_label) module BlockS = HashSet.Make (Block_label)
module BlockQ = Hash_queue.Make (Block_label) module BlockQ = HashQueue.Make (Block_label)
module FuncQ = Hash_queue.Make (Reg) module FuncQ = HashQueue.Make (Reg)
(** Functions *) (** Functions *)

Loading…
Cancel
Save