From 888c1abab69c36c7fb3fa65f82d7fffc505b79ce Mon Sep 17 00:00:00 2001
From: Joe Hendrix <jhendrix@galois.com>
Date: Fri, 26 Apr 2019 10:42:45 -0700
Subject: [PATCH] Update travis to build crucible without -Werror.

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

diff --git a/.travis.yml b/.travis.yml
index 6fda79c1..06b368ac 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -29,6 +29,8 @@ install:
 # Here starts the actual work to be performed for the package under test;
 # any command which exits with a non-zero exit code causes the build to fail.
 script:
+ # Build crucible with no -Werror
+ - stack build crucible
  # Build packages
  - stack build --ghc-options="-Wall -Werror"
  # Run tests