[paparazzi-commits] [4785] remove useless function

[Pascal Brisset]

Revision: 4785
          http://svn.sv.gnu.org/viewvc/?view=rev&root=paparazzi&revision=4785
Author:   hecto
Date:     2010-04-04 15:37:59 +0000 (Sun, 04 Apr 2010)
Log Message:
-----------
 remove useless function

Modified Paths:
--------------
    paparazzi3/trunk/sw/logalizer/plot.ml

Modified: paparazzi3/trunk/sw/logalizer/plot.ml
===================================================================
--- paparazzi3/trunk/sw/logalizer/plot.ml       2010-04-02 11:24:16 UTC (rev 
4784)
+++ paparazzi3/trunk/sw/logalizer/plot.ml       2010-04-04 15:37:59 UTC (rev 
4785)
@@ -783,11 +783,6 @@
   ignore (Log_file.chooser ~callback:(fun name -> load_log ?factor plot 
menubar curves_fact name) ())
 
 
-let remove_fst_and_snd = function
-    _::_::l -> l
-  | l -> l
-
-         
 let screenshot = fun frame ->
   let width, height = Gdk.Drawable.get_size frame#misc#window in
   let dest = GdkPixbuf.create width height () in