From 4298d6c15c425fd66e9673dee3fa27a3e9caafc9 Mon Sep 17 00:00:00 2001
From: Vincent Laporte
Date: Tue, 5 Mar 2019 15:19:53 +0000
Subject: [ide] Address warning 50

---
 ide/wg_ScriptView.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'ide/wg_ScriptView.ml')

diff --git a/ide/wg_ScriptView.ml b/ide/wg_ScriptView.ml
index a3f8aaab25..bfa9d6e0c5 100644
--- a/ide/wg_ScriptView.ml
+++ b/ide/wg_ScriptView.ml
@@ -408,13 +408,13 @@ object (self)
     | _ -> ()
 
   method apply_unicode_binding () =
-    (** Auxiliary method to reach the beginning of line or the
+    (* Auxiliary method to reach the beginning of line or the
         nearest space before the iterator. *)
     let rec get_line_start iter =
       if iter#starts_line || Glib.Unichar.isspace iter#char then iter
       else get_line_start iter#backward_char
       in
-    (** Main action *)
+    (* Main action *)
     let buffer = self#buffer in
     let insert = buffer#get_iter `INSERT in
     let insert_mark = buffer#create_mark ~left_gravity:false insert in
-- 
cgit v1.2.3