diff options
author | 1999-01-15 16:08:09 +0000 | |
---|---|---|
committer | 1999-01-15 16:08:09 +0000 | |
commit | da39b3a8e98d4cd15d13c9831ca3a883f3e466e5 (patch) | |
tree | 96e7e61735355d63bc98f08bedf5a4ef160b7850 /etc/isa | |
parent | bffcc1489882830a8fca95ff778d08db397d1c49 (diff) |
Test has backward slashes now, not forwards ones..
Diffstat (limited to 'etc/isa')
-rw-r--r-- | etc/isa/long-line-backslash.ML | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/isa/long-line-backslash.ML b/etc/isa/long-line-backslash.ML index 8c2967b6..66435c1b 100644 --- a/etc/isa/long-line-backslash.ML +++ b/etc/isa/long-line-backslash.ML @@ -8,7 +8,7 @@ *) -val nasty_string="///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////"; +val nasty_string="\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\"; (* Test subsequent commands can be processed *) |