1 files changed, 2 insertions, 6 deletions
diff --git a/isabat.nix b/isabat.nix
index 8d00447..711c8c3 100644
--- a/isabat.nix
+++ b/isabat.nix
@@ -1,8 +1,4 @@
-let
-  sources = import ./nix/sources.nix;
-  pkgs = import sources.nixpkgs {};
-  isabelle-unicode = import ./default.nix;
-in
+{pkgs, isabelle-rust-utils}:
 
 with pkgs;
 stdenv.mkDerivation {
@@ -16,7 +12,7 @@ stdenv.mkDerivation {
   buildPhase = ''
     cp $src isabat
     substituteInPlace isabat \
-      --replace isabelle2unicode "${isabelle-unicode}/bin/isabelle2unicode"
+      --replace isabelle2unicode "${isabelle-rust-utils}/bin/isabelle2unicode"
     substituteInPlace isabat \
       --replace " bat " " ${pkgs.bat}/bin/bat "
     mkdir -p $out/bin