diff --git a/rascal-lsp/src/main/java/org/rascalmpl/vscode/lsp/parametric/ParametricTextDocumentService.java b/rascal-lsp/src/main/java/org/rascalmpl/vscode/lsp/parametric/ParametricTextDocumentService.java index b4b131db..42b6c4d9 100644 --- a/rascal-lsp/src/main/java/org/rascalmpl/vscode/lsp/parametric/ParametricTextDocumentService.java +++ b/rascal-lsp/src/main/java/org/rascalmpl/vscode/lsp/parametric/ParametricTextDocumentService.java @@ -693,6 +693,6 @@ public boolean isManagingFile(ISourceLocation file) { @Override public TextDocumentState getDocumentState(ISourceLocation file) { - return files.get(file.top()); + return files.get(file.top()); } }