diff --git a/src/TensorKit.jl b/src/TensorKit.jl
index 3b103ea1..6882d10d 100644
--- a/src/TensorKit.jl
+++ b/src/TensorKit.jl
@@ -107,7 +107,8 @@ import TensorKitSectors: dim, BraidingStyle, FusionStyle, ⊠, ⊗
 import TensorKitSectors: dual, type_repr
 import TensorKitSectors: twist
 
-using Base: @boundscheck, @propagate_inbounds, OneTo, tail, front,
+using Base: @boundscheck, @propagate_inbounds, @constprop,
+            OneTo, tail, front,
             tuple_type_head, tuple_type_tail, tuple_type_cons,
             SizeUnknown, HasLength, HasShape, IsInfinite, EltypeUnknown, HasEltype
 using Base.Iterators: product, filter
diff --git a/src/auxiliary/auxiliary.jl b/src/auxiliary/auxiliary.jl
index 297fd3ab..bda29d55 100644
--- a/src/auxiliary/auxiliary.jl
+++ b/src/auxiliary/auxiliary.jl
@@ -44,15 +44,6 @@ end
 @noinline _boundserror(P, i) = throw(BoundsError(P, i))
 @noinline _nontrivialspaceerror(P, i) = throw(ArgumentError(lazy"Attempting to remove a non-trivial space $(P[i])"))
 
-# Compat implementation:
-@static if VERSION < v"1.7"
-    macro constprop(setting, ex)
-        return esc(ex)
-    end
-else
-    using Base: @constprop
-end
-
 const VecOrNumber{T<:Number} = Union{DenseVector{T},T}
 
 """