diff --git a/src/Lean/Meta/Sym/Simp/ControlFlow.lean b/src/Lean/Meta/Sym/Simp/ControlFlow.lean
index 73da7bd3d7..3acad97ffc 100644
--- a/src/Lean/Meta/Sym/Simp/ControlFlow.lean
+++ b/src/Lean/Meta/Sym/Simp/ControlFlow.lean
@@ -85,7 +85,7 @@ def simpDIte : Simproc := fun e => do
 /--
 Simplifies a `cond` expression (aka Boolean `if-then-else`).
 -/
-def simpCond : Simproc := fun e => do
+public def simpCond : Simproc := fun e => do
   let numArgs := e.getAppNumArgs
   if numArgs < 4 then return .rfl (done := true)
   propagateOverApplied e (numArgs - 4) fun e => do