From e978b62e2681adc9608ca868c9850d0ec9418a36 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Mon, 5 Oct 2020 17:55:31 +0200
Subject: [PATCH] Revert "Update default.nix with why3 config"
This reverts commit fe28f2bdfd6a347176ac3bed9a6c79fa44fb2a8d.
---
nix/default.nix | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/nix/default.nix b/nix/default.nix
index f7491f92..8f882bd2 100644
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -19,6 +19,6 @@ plugins.helpers.simple_plugin
preFramaCTests = ''
echo CONFIGURING Why3 for Frama_Clang.
export HOME=$(mktemp -d)
- why3 config --detect
+ why3 config --full-config
'';
}
--
GitLab