From 2c84d1bc14d99033f30aeb5da38453ff80d9cae0 Mon Sep 17 00:00:00 2001
From: ceriel <devnull@localhost>
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 21d1a9f9..dc496ec4 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;