diff --git a/base/public.jl b/base/public.jl index 380eea344a3a8..3308c58ff1780 100644 --- a/base/public.jl +++ b/base/public.jl @@ -111,6 +111,7 @@ public reseteof, link_pipe!, dup, + showarg, # filesystem operations rename,