initial (untested) stab at ~full MMA

[nlopt.git] / util / nlopt-util.h

diff --git a/util/nlopt-util.h b/util/nlopt-util.h
index e0eb13485c2c70a7f438015f9817f7c6b5e1c332..fffb750b2ce419159a38b36aaeeea5a18eb5372b 100644 (file)
--- a/util/nlopt-util.h
+++ b/util/nlopt-util.h
@@ -6,6 +6,8 @@ extern "C"
 {
 #endif /* __cplusplus */
 
+int nlopt_isinf(double x);
+
 /* seconds timer */
 extern double nlopt_seconds(void);
 extern unsigned long nlopt_time_seed(void);