diff --git a/coalgcompare.ml b/coalgcompare.ml
index 0da2bb5224a6a8a7d8f1fe393e21ac311704005d..8356f34c10720f9778d1bbfed7840041b10dcda9 100644
--- a/coalgcompare.ml
+++ b/coalgcompare.ml
@@ -113,6 +113,7 @@ let solvers =
 let expQ (tbox, sf) = C.exportQuery tbox sf
 
 
+(*
 let rateF = int_of_string Sys.argv.(1)
 let rateP = int_of_string Sys.argv.(2)
 let nr = int_of_string Sys.argv.(3)
@@ -129,6 +130,7 @@ let genQ = genQuery litFkt pFkt tbcardFkt tbfsizeFkt
 
 let _ = G.toGnuPlot ~dots:10 ~timeout:10 ~fail:true expQ genQ solvers nr start stop ((+) step)
 
+*)
 
 (*
 let files = [ ("benchmarks/DL98/DL98_alc_branch_sat.txt", "branch\\_n");