diff --git a/src/TrixiBase.jl b/src/TrixiBase.jl
index dad5559..d1699fd 100644
--- a/src/TrixiBase.jl
+++ b/src/TrixiBase.jl
@@ -6,7 +6,7 @@ using TimerOutputs: TimerOutput, TimerOutputs
 include("trixi_include.jl")
 include("trixi_timeit.jl")
 
-export trixi_include
+export trixi_include, trixi_include_changeprecision
 export @trixi_timeit, timer, timeit_debug_enabled,
        disable_debug_timings, enable_debug_timings