From 262770d66a3bc6e3d90e2df656cf9a9130513467 Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Wed, 31 Mar 2021 15:35:34 +0200
Subject: update to last coq-nix-toolbox

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

(limited to 'default.nix')

diff --git a/default.nix b/default.nix
index dbc0c1b..916aa51 100644
--- a/default.nix
+++ b/default.nix
@@ -1,7 +1,7 @@
 { config ? {}, withEmacs ? false, print-env ? false, do-nothing ? false,
   update-nixpkgs ? false, ci-matrix ? false,
   override ? {}, ocaml-override ? {}, global-override ? {},
-  task ? null, job ? null, inNixShell ? null, src ? ./.,
+  bundle ? null, job ? null, inNixShell ? null, src ? ./.,
 }@args:
 let auto = fetchGit {
   url = "https://github.com/coq-community/coq-nix-toolbox.git";
-- 
cgit v1.2.3