From 905d3204ae08c781b999684e047ab33584ced50b Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Tue, 3 Jan 2023 18:28:24 -0800
Subject: [PATCH] chore: correctly comment out initUnboxed test

---
 tests/compiler/initUnboxed.lean | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/tests/compiler/initUnboxed.lean b/tests/compiler/initUnboxed.lean
index 7f07b85472..c2838edd9d 100644
--- 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"