Before benchmarking
[libfirm] / ir / be / becopyopt.h
index ef0b21f..07e52bb 100644 (file)
@@ -163,6 +163,6 @@ void co_heur_opt(copy_opt_t *co);
 /**
  * Solves the problem using mixed integer programming
  */
-void co_ilp_opt(copy_opt_t *co);
+void co_ilp_opt(copy_opt_t *co, double time_limit);
 
 #endif