diff --git a/sw/logalizer/plot.ml b/sw/logalizer/plot.ml
index e0f3be54cb..f973f309a5 100644
--- a/sw/logalizer/plot.ml
+++ b/sw/logalizer/plot.ml
@@ -72,9 +72,6 @@ let compute_ticks = fun min_y max_y ->
   (delta, scale, u, tick_min)
 	
 
-
-let (//) = Filename.concat
-
 let colors = [|"red"; "blue"; "green"; "orange"; "purple"; "magenta"|]
 
 type curve = { values: (float*float) array; color : string }