Update tests/lean/run/repr_empty.lean

Updating style as per PR feedback.
leanprover · Sep 22, 2024 · 75a402b · 75a402b
1 parent fb85c63
commit 75a402b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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)