1 files changed, 0 insertions, 2 deletions
diff --git a/wscript b/wscript
index 884bc7ec..026bebca 100644
--- a/wscript
+++ b/wscript
@@ -66,7 +66,6 @@ def configure(conf):
                 '-Wno-cast-qual',
                 '-Wno-deprecated-copy-dtor',
                 '-Wno-documentation-unknown-command',
-                '-Wno-double-promotion',
                 '-Wno-exit-time-destructors',
                 '-Wno-float-conversion',
                 '-Wno-float-equal',
@@ -95,7 +94,6 @@ def configure(conf):
                 '-Wno-conditionally-supported',
                 '-Wno-conversion',
                 '-Wno-deprecated-copy-dtor',
-                '-Wno-double-promotion',
                 '-Wno-effc++',
                 '-Wno-float-conversion',
                 '-Wno-float-equal',