From 241e27978259c5ab17ea48ba431fc98a987c7c1c Mon Sep 17 00:00:00 2001
From: "Johan B.W. de Vries" <info@jbwdevries.nl>
Date: Sun, 5 Jan 2025 16:51:23 +0100
Subject: [PATCH] Made preamble a bit more smaller to be specific

---
 it0-out.py   | 4 ++--
 it1-in.lang0 | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/it0-out.py b/it0-out.py
index 6593f7e..ffdcd5d 100644
--- a/it0-out.py
+++ b/it0-out.py
@@ -300,10 +300,10 @@ def emitheader():
     emit("    return a == b\n")
     emit("\n")
     emit("def lt(a, b):\n")
-    emit("    return a < b\n")
+    emit("    return a[0] < b[0]\n")
     emit("\n")
     emit("def addstringchar(a, b):\n")
-    emit("    return a + b\n")
+    emit("    return a + b[0]\n")
     emit("\n")
     emit("def emit(string):\n")
     emit("    sys.stdout.write(string)\n")
diff --git a/it1-in.lang0 b/it1-in.lang0
index 0c10e96..09f280d 100644
--- a/it1-in.lang0
+++ b/it1-in.lang0
@@ -342,10 +342,10 @@ emitheader:
 	emit "    return a == b\n"
 	emit "\n"
 	emit "def lt(a, b):\n"
-	emit "    return a < b\n"
+	emit "    return a[0] < b[0]\n"
 	emit "\n"
 	emit "def addstringchar(a, b):\n"
-	emit "    return a + b\n"
+	emit "    return a + b[0]\n"
 	emit "\n"
 	emit "def emit(string):\n"
 	emit "    sys.stdout.write(string)\n"