diff options
Diffstat (limited to 'src/interp/sys-os.boot')
-rw-r--r-- | src/interp/sys-os.boot | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/interp/sys-os.boot b/src/interp/sys-os.boot index 64d27abd..f3b04862 100644 --- a/src/interp/sys-os.boot +++ b/src/interp/sys-os.boot @@ -13,7 +13,7 @@ -- the documentation and/or other materials provided with the -- distribution. -- --- - Neither the name of The Numerical ALgorithms Group Ltd. nor the +-- - Neither the name of The Numerical Algorithms Group Ltd. nor the -- names of its contributors may be used to endorse or promote products -- derived from this software without specific prior written permission. -- @@ -168,5 +168,4 @@ minusInfinity() == ++ otherwise 0. import stdStreamIsTerminal for std__stream__is__terminal: int -> int - --% |