diff --git a/sledge/nonstdlib/NS.mli b/sledge/nonstdlib/NS.mli
index 0fe52ec2a..a50791404 100644
--- a/sledge/nonstdlib/NS.mli
+++ b/sledge/nonstdlib/NS.mli
@@ -148,7 +148,7 @@ module Map = Map
 module Multiset = Multiset
 module HashTable = HashTable
 module HashSet = HashSet
-module Hash_queue = Core_kernel.Hash_queue
+module HashQueue = Core_kernel.Hash_queue
 
 (** Input / Output *)
 
diff --git a/sledge/nonstdlib/NS0.ml b/sledge/nonstdlib/NS0.ml
index f62a13f79..86a204c1e 100644
--- a/sledge/nonstdlib/NS0.ml
+++ b/sledge/nonstdlib/NS0.ml
@@ -125,7 +125,7 @@ module Either = struct
   let right v = Right v
 end
 
-module Hash_queue = Core_kernel.Hash_queue
+module HashQueue = Core_kernel.Hash_queue
 
 (** Input / Output *)
 
diff --git a/sledge/src/llair/llair.ml b/sledge/src/llair/llair.ml
index 179e30c00..ddf4279e6 100644
--- a/sledge/src/llair/llair.ml
+++ b/sledge/src/llair/llair.ml
@@ -404,8 +404,8 @@ module Block_label = struct
 end
 
 module BlockS = HashSet.Make (Block_label)
-module BlockQ = Hash_queue.Make (Block_label)
-module FuncQ = Hash_queue.Make (Reg)
+module BlockQ = HashQueue.Make (Block_label)
+module FuncQ = HashQueue.Make (Reg)
 
 (** Functions *)