From 345a26b04b577e4580c3b63d4d239b0468903eb2 Mon Sep 17 00:00:00 2001
From: whitequark <whitequark@whitequark.org>
Date: Mon, 8 Jul 2019 10:20:24 +0000
Subject: [PATCH] test: fix Travis.

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

diff --git a/.travis.yml b/.travis.yml
index b2e101f..fea7d80 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -20,5 +20,6 @@ install:
   - (git clone https://github.com/YosysHQ/SymbiYosys && cd SymbiYosys && make PREFIX=$HOME/.local install)
   - if ! yices -V; then (git clone https://github.com/SRI-CSL/yices2.git && cd yices2 && autoconf && ./configure --prefix=$HOME/.local && make && make install); fi
 script:
+  - python setup.py develop
   - coverage run -m unittest discover
   - codecov
-- 
2.30.2