From 31aecbca9730690b443d557f15204bb8a4dee94c Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Wed, 2 Oct 2019 20:02:55 +0200
Subject: [PATCH] fix(shell.nix): fix overriding LLVM once more...

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

diff --git a/shell.nix b/shell.nix
index 381e5ca16a..590beb687d 100644
--- a/shell.nix
+++ b/shell.nix
@@ -1,4 +1,4 @@
-{ pkgs ? import ./nix/nixpkgs.nix, ... } @ args:
+{ pkgs ? import ./nix/nixpkgs.nix, llvmPackages ?pkgs.llvmPackages_9 } @ args:
 
 let
   lean = import ./default.nix args;