1 files changed, 1 insertions, 2 deletions
diff --git a/src/util.h b/src/util.h
index d36746c..cf17bb3 100644
--- a/src/util.h
+++ b/src/util.h
@@ -13,7 +13,6 @@ GNU General Public License for more details.
 You should have received a copy of the GNU General Public License
 along with this program.  If not, see <http://www.gnu.org/licenses/>. */
 
-#include <CL/cl_platform.h>
 #include <stdio.h>
 
 void warn(const char *fmt, ...);
@@ -21,4 +20,4 @@ void die(const char *fmt, ...);
 
 void efwrite(const void *ptr, size_t size, size_t nmemb, FILE *stream);
 
-const char *cl_strerror(cl_int err);
+long argtonum(const char *arg, long minval, long maxval);