From edce23615857a8f210cac64bf42ebd9a8f748327 Mon Sep 17 00:00:00 2001
From: Gleb Koval <gleb@koval.net>
Date: Thu, 27 Feb 2025 19:58:57 +0000
Subject: [PATCH] fix: read space-delimited tokens (as per spec)

---
 src/main/wacc/frontend/typeChecker.scala | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/main/wacc/frontend/typeChecker.scala b/src/main/wacc/frontend/typeChecker.scala
index 002876d..a628b69 100644
--- a/src/main/wacc/frontend/typeChecker.scala
+++ b/src/main/wacc/frontend/typeChecker.scala
@@ -180,8 +180,8 @@ object typeChecker {
             microWacc.Builtin.Read,
             List(
               destTy match {
-                case KnownType.Int      => "%d".toMicroWaccCharArray
-                case KnownType.Char | _ => "%c".toMicroWaccCharArray
+                case KnownType.Int      => " %d".toMicroWaccCharArray
+                case KnownType.Char | _ => " %c".toMicroWaccCharArray
               },
               destTyped
             )