X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fgsl-extras%2Fbetadistinv.c;h=490914056d691e7fc7dd06dca94d299bde8db80f;hb=2997cc6481d0744e910eccb6f23d56efe93d32d3;hp=2c7c72badeea1776258c54f9177d92454079a71f;hpb=4fdeb2145d081ff1b84e3f6c99f9d1c048c0d64a;p=pspp

diff --git a/lib/gsl-extras/betadistinv.c b/lib/gsl-extras/betadistinv.c
index 2c7c72bade..490914056d 100644
--- a/lib/gsl-extras/betadistinv.c
+++ b/lib/gsl-extras/betadistinv.c
@@ -33,7 +33,6 @@
  * August 1968, pages 1264-1273.
  */
 
-#include <config.h>
 #include <math.h>
 #include <gsl/gsl_math.h>
 #include <gsl/gsl_errno.h>