chiark / gitweb /
work around broken solaris gcc
[nlopt.git] / util / timer.c
index ed06b4291d2fbec1f4ea85e7ad9abf6357846f28..d8e053f3efc15ed817a02b40aed289a7ebce7f3e 100644 (file)
@@ -21,7 +21,6 @@
  */
 
 #include "nlopt-util.h"
-#include "config.h"
 
 #if TIME_WITH_SYS_TIME
 # include <sys/time.h>