[oci] update nix config for why3

f1897c6b · Loïc Correnson · Virgile Prevosto · e5833db4 · f1897c6b
Commit f1897c6b authored 3 years ago by Loïc Correnson Committed by Virgile Prevosto 3 years ago
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -20,7 +20,7 @@ let frama_clang_build =
     preFramaCTests = ''
       echo CONFIGURING Why3 for Frama_Clang.
       export HOME=$(mktemp -d)
-       why3 config --detect
+       why3 config detect
     '';
   });
 in