From 6fbbe0ba9d09c84b2c7fa50e65fb3ad24f36036a Mon Sep 17 00:00:00 2001
From: Alex Groce <agroce@users.noreply.github.com>
Date: Thu, 12 Jul 2018 19:11:05 -0700
Subject: [PATCH] sudo for make install

---
 .travis.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index 474382d..20b04fb 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -9,6 +9,6 @@ install:
 - cd build
 - cmake ..
 - make
-- make install
+- sudo make install
 script:
 - deepstate-manticore examples/IntegerArithmetic