chore: correctly comment out initUnboxed test

2023-01-03 18:28:24 -08:00 · 2023-01-03 18:28:24 -08:00 · 905d3204ae
commit 905d3204ae
parent cb7657f47e
1 changed files with 3 additions and 0 deletions
--- a/tests/compiler/initUnboxed.lean
+++ b/tests/compiler/initUnboxed.lean
@ -15,3 +15,6 @@ def main : IO Unit := do
  IO.println testf
  IO.println test32
 -/
+
+def main : IO Unit :=
+  IO.print "0\nfalse\n1\n0.500000\n16\n"