1 files changed, 2 insertions, 0 deletions
diff --git a/isabat.nix b/isabat.nix
index 7fc05f2..de6ce6f 100644
--- a/isabat.nix
+++ b/isabat.nix
@@ -17,6 +17,8 @@ stdenv.mkDerivation {
     cp $src isabat
     substituteInPlace isabat \
       --replace isabelle2unicode "${isabelle-unicode}/bin/isabelle2unicode"
+    substituteInPlace isabat \
+      --replace " bat " " ${pkgs.bat}/bin/bat "
     cp isabat $out
   '';
 }