From ee3a80c6e5b32bfc661edb0ade64f7732309b85a Mon Sep 17 00:00:00 2001
From: ceriel <none@none>
Date: Thu, 11 Jun 1987 13:07:27 +0000
Subject: [PATCH] ReadString did not skip leading spaces

---
 lang/m2/libm2/InOut.mod | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/lang/m2/libm2/InOut.mod b/lang/m2/libm2/InOut.mod
index 21d1a9f9d..dc496ec48 100644
--- a/lang/m2/libm2/InOut.mod
+++ b/lang/m2/libm2/InOut.mod
@@ -308,6 +308,10 @@ IMPLEMENTATION MODULE InOut ;
 
   BEGIN
     	i := 0;
+	REPEAT
+		Read(ch);
+	UNTIL (ch # ' ') AND (ch # TAB);
+	UnRead(ch);
     	LOOP
 		Read(ch);
 		termCH := ch;
-- 
2.34.1