diff options
| author | David Aspinall | 1999-01-15 16:08:09 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-01-15 16:08:09 +0000 |
| commit | da39b3a8e98d4cd15d13c9831ca3a883f3e466e5 (patch) | |
| tree | 96e7e61735355d63bc98f08bedf5a4ef160b7850 | |
| parent | bffcc1489882830a8fca95ff778d08db397d1c49 (diff) | |
Test has backward slashes now, not forwards ones..
| -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 *) |