diff --git a/common.nix b/common.nix
index 84826c5..084c9d4 100644
--- a/common.nix
+++ b/common.nix
@@ -96,7 +96,7 @@
     why3
     graphviz
     # toysolver
-    tip-lib
+    # tip-lib
 
     coq_8_5
     emacsPackages.proofgeneral_4_3_pre