diff --git a/libs/prelude/Prelude/Show.idr b/libs/prelude/Prelude/Show.idr
index bf1a87a2a..f80643b44 100644
--- a/libs/prelude/Prelude/Show.idr
+++ b/libs/prelude/Prelude/Show.idr
@@ -63,6 +63,7 @@ interface Show ty where
 
 ||| Surround a `String` with parentheses depending on a condition.
 ||| @ b whether to add parentheses
+export
 showParens : (1 b : Bool) -> String -> String
 showParens False s = s
 showParens True  s = "(" ++ s ++ ")"