From 866f007f94706f01b150e3f8458bd400350eefab Mon Sep 17 00:00:00 2001
From: Amirali Esmaeili <esmailiamirali@gmail.com>
Date: Sat, 21 Nov 2020 05:05:01 +0330
Subject: [PATCH] Use appropriate output channel

---
 src/rescript-editor-support/EditorSupportCommands.re | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

diff --git a/src/rescript-editor-support/EditorSupportCommands.re b/src/rescript-editor-support/EditorSupportCommands.re
index c795e4ec..dd6e014f 100644
--- a/src/rescript-editor-support/EditorSupportCommands.re
+++ b/src/rescript-editor-support/EditorSupportCommands.re
@@ -100,9 +100,8 @@ let dumpLocations = (state, ~package, ~file, ~extra, ~selectPos, uri) => {
              );
        })
     |> l;
-  Log.spamError := true;
-  Log.log(Json.stringify(locationsInfo));
-  Log.spamError := false;
+
+  print_endline(Json.stringify(locationsInfo));
 };
 
 let dump = files => {
@@ -223,9 +222,7 @@ let autocomplete = (~currentFile, ~full, ~package, ~pos, ~state) => {
            })
         |> l;
 
-  Log.spamError := true;
-  Log.log(Json.stringify(completions));
-  Log.spamError := false;
+  print_endline(Json.stringify(completions));
 };
 
 let complete = (~pathWithPos, ~currentFile) => {