Update quint/src/parsing/quintParserFrontend.ts

Co-authored-by: Thomas Pani <[email protected]>
informalsystems · Dec 11, 2023 · 92bd363 · 92bd363
1 parent 6cd79a5
commit 92bd363
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/quint/src/parsing/quintParserFrontend.ts b/quint/src/parsing/quintParserFrontend.ts
@@ -231,7 +231,7 @@ export function parsePhase2sourceResolution(
           worklist.push([m, pathTrail.concat([importeePath])])
         })
         sourceToModules.set(importeePath.normalizedPath, newModules)
-        visitedPaths.set(importeePath.normalizedPath.toLocaleLowerCase(), importeePath.normalizedPath)
+        visitedPaths.set(importeeLowerCase, importeeNormalized)
         sourceMap = new Map([...sourceMap, ...parseResult.sourceMap])
       }
     }