diff options
Diffstat (limited to 'externals/grill/pool/pool.h')
-rw-r--r-- | externals/grill/pool/pool.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/externals/grill/pool/pool.h b/externals/grill/pool/pool.h index 3c698b1f..348a4127 100644 --- a/externals/grill/pool/pool.h +++ b/externals/grill/pool/pool.h @@ -13,8 +13,8 @@ WARRANTIES, see the file, "license.txt," in this distribution. #include <flext.h> -#if !defined(FLEXT_VERSION) || (FLEXT_VERSION < 400) -#error You need at least flext version 0.4.0 +#if !defined(FLEXT_VERSION) || (FLEXT_VERSION < 401) +#error You need at least flext version 0.4.1 #endif #include <iostream.h> |