From da39b3a8e98d4cd15d13c9831ca3a883f3e466e5 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 15 Jan 1999 16:08:09 +0000
Subject: Test has backward slashes now, not forwards ones..

---
 etc/isa/long-line-backslash.ML | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 *)
 
-- 
cgit v1.2.3