From ed81a9f80a58a234ca05b99caee0e08a68768b18 Mon Sep 17 00:00:00 2001
From: Leo Arias <yo@elopio.net>
Date: Fri, 15 Feb 2019 23:08:56 +0000
Subject: [PATCH] Add cvc4 to the snap

---
 snap/snapcraft.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/snap/snapcraft.yaml b/snap/snapcraft.yaml
index 5b21768b0..fdb2fd0bf 100644
--- a/snap/snapcraft.yaml
+++ b/snap/snapcraft.yaml
@@ -26,7 +26,7 @@ parts:
     source: .
     source-type: git
     plugin: cmake
-    build-packages: [build-essential, libboost-all-dev]
+    build-packages: [build-essential, libboost-all-dev, libcvc4-dev]
     stage-packages: [libicu60]
     override-build: |
       if git describe --exact-match --tags 2> /dev/null