diff --git a/CHANGELOG.md b/CHANGELOG.md index 36e5d6b33..69b10e9a6 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,5 +1,9 @@ # Change Log +## Unreleased + +- Encode URI when sending the `switchImplIntf` request (#983) + ## 1.12.3 - Reorder sandbox buttons (#1083) diff --git a/src/switch_impl_intf.ml b/src/switch_impl_intf.ml index 5acf7496a..63f2ef1da 100644 --- a/src/switch_impl_intf.ml +++ b/src/switch_impl_intf.ml @@ -25,9 +25,7 @@ let insert_inferred_intf ~source_uri client text_editor = let request_switch client document = let open Promise.Syntax in - let source_uri = - Uri.toString (TextDocument.uri document) ~skipEncoding:true () - in + let source_uri = Uri.toString (TextDocument.uri document) () in let fill_intf_if_empty_untitled text_editor = let doc = TextEditor.document text_editor in let is_empty_doc doc = TextDocument.getText doc () |> String.is_empty in