public
/
ack.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
a33bd07
)
ReadString did not skip leading spaces
author
ceriel
<none@none>
Thu, 11 Jun 1987 13:07:27 +0000
(13:07 +0000)
committer
ceriel
<none@none>
Thu, 11 Jun 1987 13:07:27 +0000
(13:07 +0000)
lang/m2/libm2/InOut.mod
patch
|
blob
|
history
diff --git
a/lang/m2/libm2/InOut.mod
b/lang/m2/libm2/InOut.mod
index
21d1a9f
..
dc496ec
100644
(file)
--- 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;