diff --git a/base/public.jl b/base/public.jl index 912953795c801..359f4aff74dc6 100644 --- a/base/public.jl +++ b/base/public.jl @@ -95,6 +95,11 @@ public reseteof, link_pipe!, +# ScopedValue + with, + @with, + ScopedValue, + # misc notnothing, runtests,