From bc50fb579f75d198783e7f7dec77acb2de0509b2 Mon Sep 17 00:00:00 2001
From: johnvg
Date: Mon, 18 Mar 2013 12:13:12 +0000
Subject: use DirectorySeparator from CoclSystemDependent instead of '\\'

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2202 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 frontend/scanner.icl | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/frontend/scanner.icl b/frontend/scanner.icl
index 000988e..584ef28 100644
--- a/frontend/scanner.icl
+++ b/frontend/scanner.icl
@@ -3,6 +3,7 @@ implementation module scanner
 import	StdEnv, compare_constructor, general
 
 from utilities import revCharListToString, isSpecialChar
+from CoclSystemDependent import DirectorySeparator
 
 // RWS Proof ... ::	SearchPaths	:== [String]
 :: SearchPaths = 
@@ -1672,7 +1673,7 @@ fopenInSearchPaths moduleName fileNameExtension searchPaths mode modtimefunction
 
 		replace_dots_by_directory_separators :: !{#Char} -> *{#Char}
 		replace_dots_by_directory_separators file_name
-			= {if (c=='.') '\\' c \\ c<-:file_name}
+			= {if (c=='.') DirectorySeparator c \\ c<-:file_name}
 
 closeScanner :: !ScanState !*Files -> *Files
 closeScanner (ScanState scan_state) files = closeScanner_ scan_state files
-- 
cgit v1.2.3