diff --git a/tests/lean/run/repr_empty.lean b/tests/lean/run/repr_empty.lean
index 1095a1a974dc..8d917ce97497 100644
--- a/tests/lean/run/repr_empty.lean
+++ b/tests/lean/run/repr_empty.lean
@@ -26,4 +26,4 @@ open Prim in
 /-- info: Prim.minus -/
 #guard_msgs in
 open Prim in
-#eval (minus: Prim Empty)
+#eval (minus : Prim Empty)