diff --git a/src/main/kotlin/b/language/server/proBMangement/prob/Util.kt b/src/main/kotlin/b/language/server/proBMangement/prob/Util.kt
index 80d74cdf5f63cd906e37b987b788edfc62f0cf12..d51c726748f6c8461cf23f1b586c441f6fcdc880 100644
--- a/src/main/kotlin/b/language/server/proBMangement/prob/Util.kt
+++ b/src/main/kotlin/b/language/server/proBMangement/prob/Util.kt
@@ -24,7 +24,7 @@ fun convertErrorItems(errorItems: List<ErrorItem>, currentLoadedFile : String) :
                     Position(0,0)),
                     errorItem.message,
                     getErrorItemType(errorItem.type),
-                    separatorToSystems(currentLoadedFile)))
+                    separatorToSystems(File(currentLoadedFile).absolutePath)))
         }
     }.flatten()
 }
diff --git a/src/test/kotlin/b/language/server/prob2/proBMangement/BDocumentServiceTest.kt b/src/test/kotlin/b/language/server/prob2/proBMangement/BDocumentServiceTest.kt
index bf360da664ca04123f172be8d977a9ea5d034a97..283a36ef04ff03b4a4062551511802f8505f28a1 100644
--- a/src/test/kotlin/b/language/server/prob2/proBMangement/BDocumentServiceTest.kt
+++ b/src/test/kotlin/b/language/server/prob2/proBMangement/BDocumentServiceTest.kt
@@ -116,7 +116,8 @@ class BDocumentServiceTest {
         val documentService = BDocumentService(DummyServer(), communicator, ProBKernelManager(communicator))
 
 
-        val expectedDocument = File("b-language-server/src/test/resources/WD_M1.mch").absolutePath
+
+        val expectedDocument = File("src/test/resources/WD_M1.mch").absolutePath
 
         documentService.checkDocument(URI("src/test/resources/WD_M1.mch"))