diff --git a/cabal.project b/cabal.project
index 73511f0..ef5dd78 100644
--- a/cabal.project
+++ b/cabal.project
@@ -2,7 +2,7 @@ packages: .
 
 constraints:
   acts -finitary,
-  rounded-hw -pure-hs -c99 +avx512 +ghc-prim -x87-long-double
+  rounded-hw -pure-hs -c99 -avx512 +ghc-prim -x87-long-double
 
 
 -- Fix a severe bug in Waargonaut (no corresponding Hackage release???)