diff --git a/common.nix b/common.nix
index dd0e72f..351d879 100644
--- a/common.nix
+++ b/common.nix
@@ -93,7 +93,7 @@
     z3
     why3
     graphviz
-    toysolver
+    # toysolver
     tip-lib
 
     coq_8_5