Merge pull request #449 from math-comp/fix_cat

fix cat

Author: CohenCyril

.nix/coq-nix-toolbox.nix

@@ -1 +1 @@
-"43a9424c3bc743a95958d32e893b76814ed9ecbe"
+"a1bfc972fc850d935b8a38c8d901c54299b8df41"

_CoqProject.test-suite

@@ -20,6 +20,7 @@ examples/demo4/hierarchy_0.v
 examples/demo5/hierarchy_0.v
 
 # examples/cat/cat.v
+examples/cat/cat.v
 
 tests/type_of_exported_ops.v
 tests/duplicate_structure.v

default.nix

@@ -1,10 +1,10 @@
 { config ? {}, withEmacs ? false, print-env ? false, do-nothing ? false,
   update-nixpkgs ? false, ci-matrix ? false,
-  override ? {}, ocaml-override ? {}, global-override ? {},
+  override ? {}, coq-override ? {}, ocaml-override ? {}, global-override ? {},
   bundle ? null, job ? null, inNixShell ? null, src ? ./.,
 }@args:
 let auto = fetchGit {
-  url = "https://github.com/rocq-community/coq-nix-toolbox.git";
+  url = "https://github.com/coq-community/coq-nix-toolbox.git";
   ref = "master";
   rev = import .nix/coq-nix-toolbox.nix;
 };