Ensure we're building with the latest copilot-sbv.

leepike · Jun 19, 2012 · 11d190cd2d83674d7cb1d4f28ae0697f245a2055 · 11d190c
1 parent d584f92
commit 11d190cd2d83674d7cb1d4f28ae0697f245a2055
Unified Split

Showing with 1 addition and 1 deletion.

+1 −1 copilot.cabal
diff --git a/copilot.cabal b/copilot.cabal
@@ -54,7 +54,7 @@ executable copilot-regression
                    , copilot-core
                    , copilot-language
                    , copilot-libraries
-                   , copilot-sbv
+                   , copilot-sbv >= 0.6
                    , copilot-cbmc
                    , copilot-c99 >= 0.2
                    , directory >= 1.1