diff options
Diffstat (limited to 'mlir/lib/Tools/mlir-lsp-server/MLIRServer.h')
| -rw-r--r-- | mlir/lib/Tools/mlir-lsp-server/MLIRServer.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mlir/lib/Tools/mlir-lsp-server/MLIRServer.h b/mlir/lib/Tools/mlir-lsp-server/MLIRServer.h index 0224724af1c5..979be615b82c 100644 --- a/mlir/lib/Tools/mlir-lsp-server/MLIRServer.h +++ b/mlir/lib/Tools/mlir-lsp-server/MLIRServer.h @@ -49,7 +49,7 @@ public: /// Remove the document with the given uri. Returns the version of the removed /// document, or std::nullopt if the uri did not have a corresponding document /// within the server. - Optional<int64_t> removeDocument(const URIForFile &uri); + std::optional<int64_t> removeDocument(const URIForFile &uri); /// Return the locations of the object pointed at by the given position. void getLocationsOf(const URIForFile &uri, const Position &defPos, |