From 2726e5e818c1f89d0e2ca71550e6d861970c276f Mon Sep 17 00:00:00 2001
From: Julien Malka <julien@malka.sh>
Date: Tue, 21 Feb 2023 09:47:03 +0100
Subject: [PATCH] fix: use cvc4 from master

---
 machines/macintosh/home-julien.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/machines/macintosh/home-julien.nix b/machines/macintosh/home-julien.nix
index 6bcf030..f1e1602 100644
--- a/machines/macintosh/home-julien.nix
+++ b/machines/macintosh/home-julien.nix
@@ -68,12 +68,12 @@
           networkmanagerapplet
           sops
           coq
+          cvc5
           coqPackages.coqide
           (why3.withProvers
             [
+              unstable.cvc4
               alt-ergo
-              cvc5
-              cvc4
               z3
             ])
         ];