Commit d73f2920 authored by John van Groningen's avatar John van Groningen
Browse files

use DirectorySeparator from CoclSystemDependent instead of '\\'

parent 7b7de5c4
......@@ -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
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment