From 6f174a92bcc0494edef8f563b2e6432ec30b497e Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Thu, 1 Oct 2015 08:59:59 +0200
Subject: [PATCH] disable toysolver is it does not build atm

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

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