diff --git a/flake.nix b/flake.nix
index 84a900c8..2de7e033 100644
--- a/flake.nix
+++ b/flake.nix
@@ -22,7 +22,7 @@
         };
         act = (myHaskellPackages.callCabal2nixWithOptions "act" (gitignore ./.) "-fci" {})
           .overrideAttrs (attrs : {
-            buildInputs = attrs.buildInputs ++ [ pkgs.z3 pkgs.cvc5 ];
+            buildInputs = attrs.buildInputs ++ [ pkgs.z3 pkgs.cvc5 pkgs.solc ];
           });
       in rec {
         packages.act = act;