treewide: remove unused variables (#63177)

* treewide: remove unused variables * making ofborg happy
2019-06-16 19:59:06 +00:00
parent ccee4117be
commit f3282c8d1e
765 changed files with 661 additions and 959 deletions
--- a/pkgs/development/coq-modules/StructTact/default.nix
+++ b/pkgs/development/coq-modules/StructTact/default.nix
@@ -1,4 +1,4 @@
-{ stdenv, fetchFromGitHub, coq, mathcomp }:
+{ stdenv, fetchFromGitHub, coq }:

 let param =
  {