X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=src%2Fstream_output.ml;h=2b9e087a3c13e18c232c3099f59a1f9111e9d23f;hb=1aedabd0caf7a0562a3f314dddd13d49e0165c92;hp=c3af99b5cee96f7b51be331d9ea426da7439fc37;hpb=4c608eef2274bc267d45d62550aafe2151514013;p=virt-top.git

diff --git a/src/stream_output.ml b/src/stream_output.ml
index c3af99b..2b9e087 100644
--- a/src/stream_output.ml
+++ b/src/stream_output.ml
@@ -20,7 +20,6 @@
 (* [--stream] mode output functions. *)
 
 open Printf
-open ExtList
 
 open Utils
 open Collect
@@ -54,7 +53,7 @@ let append_stream (_, _, _, _, _, node_info, hostname, _) (* setup *)
        | Inactive, Inactive -> 0)
     in
     let cmp  (name1, dom1) (name2, dom2) = compare(dom1, dom2) in
-    List.sort ~cmp doms in
+    List.sort cmp doms in
   (*Print domains *)
   let dump_domain = fun name rd
   -> begin