diff options
| -rw-r--r-- | .travis.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index 6d4b4b852..aabb37762 100644 --- a/.travis.yml +++ b/.travis.yml @@ -3,7 +3,7 @@ compiler: - gcc - clang env: - - TRAVIS_CVC4_CONFIG='production-cln --enable-language-bindings=java,c' + - TRAVIS_CVC4_CONFIG='production --enable-language-bindings=java,c' - TRAVIS_CVC4_CONFIG='debug --enable-language-bindings=java,c' - TRAVIS_CVC4_DISTCHECK=yes before_install: |