From 602ccc0f478f37dfa9de4107de553e9aad22a12e Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Mon, 25 Mar 2019 10:11:51 +0800
Subject: [PATCH] vivado: do not import nixpkgs by default

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

diff --git a/vivado.nix b/vivado.nix
index 6309252..ec31ba5 100644
--- a/vivado.nix
+++ b/vivado.nix
@@ -1,7 +1,7 @@
 # Install Vivado in /opt and add to /etc/nixos/configuration.nix:
 #  nix.sandboxPaths = ["/opt"];
 
-{ pkgs ? import <nixpkgs> {}}:
+{ pkgs }:
 let
   vivadoEnv = pkgs.buildFHSUserEnv {
     name = "vivado-env";