Remove white space

samoht · Sep 17, 2012 · 64ed4c5 · 64ed4c5
1 parent 693809e
commit 64ed4c5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/search.ml b/src/search.ml
@@ -8,7 +8,7 @@ let get_element_by_id id =
   Js.Opt.get (doc##getElementById (Js.string id)) 
     (fun () -> Firebug.console##log (_s id); assert false)
 
- (* Column position in the HTML table *)
+(* Column position in the HTML table *)
 let by_name = 0  
 let by_descr = 2