From 7e1b64d6ef8444b003545fdeca90304ac3d46621 Mon Sep 17 00:00:00 2001
From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Wed, 1 Aug 2018 13:04:07 -0700
Subject: fix

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

diff --git a/.travis.yml b/.travis.yml
index a7c583dff..218d14df9 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -81,8 +81,8 @@ script:
        error "DISTCHECK (WITH NEWTHEORY TESTS) FAILED";
    }
    makeCheck() {
-     builds/bin/cvc4 --show-config
      make V=1 -j2 check REGRESSION_LEVEL=0 CVC4_REGRESSION_ARGS='--no-early-exit' || error "BUILD/UNIT/SYSTEM/REGRESSION TEST FAILED"
+     builds/bin/cvc4 --show-config
    }
    makeExamples() {
      make V=1 -j2 examples || error "COULD NOT BUILD EXAMPLES${normal}";
-- 
cgit v1.2.3