diff --git a/src/library/tools.jl b/src/library/tools.jl
index fcdf6f17..16a79c62 100644
--- a/src/library/tools.jl
+++ b/src/library/tools.jl
@@ -1,10 +1,3 @@
-@doc raw"""
-""" function _getdefault end
-
-function _getdefault(value::Any, default::Any)
-    isnothing(value) ? default : value
-end
-
 @doc raw"""
 """ function isapproxdict end
 
@@ -156,7 +149,7 @@ end
 
 function _build_mapping(variable_set::Set{V}) where {V}
     variable_map = Dict{V,Int}(
-        v => k for (k, v) in enumerate(sort(collect(variable_set)))
+        v => k for (k, v) in enumerate(sort(collect(variable_set); lt=≺))
     )
     variable_inv = Dict{Int,V}(v => k for (k, v) in variable_map)