diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index cc3f0b3..7c13991 100755
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -28,7 +28,7 @@ jobs:
           git checkout a0123b157d9d1e7f7d40198198d8776817fb4d46
           mkdir build
           cd build
-          cmake .. -Denable_smpi=OFF -Denable_model-checking=OFF
+          cmake -Denable_smpi=OFF -Denable_model-checking=OFF ..
           make -j4
           sudo make install