From 65643ee90bb727e2a31040c43ff9d429b36fb5d1 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Thu, 4 Jul 2019 16:59:57 +0200
Subject: [PATCH] chore(shell.nix): update temci once more

---
 shell.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/shell.nix b/shell.nix
index 5f89ff2ad3..ab4a904bc3 100644
--- a/shell.nix
+++ b/shell.nix
@@ -2,7 +2,7 @@
 
 let
   lean = pkgs.callPackage ./default.nix {};
-  temci = pkgs.callPackage (builtins.fetchGit { url = https://github.com/parttimenerd/temci.git; rev = "1adbe63e3976693eb82ae1bb17b0b17566473853"; }) {};
+  temci = pkgs.callPackage (builtins.fetchGit { url = https://github.com/parttimenerd/temci.git; rev = "2facd7c78ab35722f34db1d42883ec02f8a0de23"; }) {};
 in pkgs.mkShell rec {
   inputsFrom = [ lean ];
   buildInputs = with pkgs; [ temci clang_7 ccache ninja jemalloc ];