From 04c65cdb71e069d656a5253c6c47155566e563c7 Mon Sep 17 00:00:00 2001
From: Jason Gross
Date: Thu, 15 Jun 2017 12:21:06 -0400
Subject: Remove ci-fiat-parsers from allowed_failures

It shouldn't be failing.
---
 .travis.yml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index e7082a9eeb..224dfe2f57 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -64,7 +64,6 @@ matrix:
   allow_failures:
   - env: TEST_TARGET="ci-coq-dpdgraph" EXTRA_OPAM="ocamlgraph"
   - env: TEST_TARGET="ci-geocoq"
-  - env: TEST_TARGET="ci-fiat-parsers"
 
   include:
     # Full Coq test-suite with two compilers
-- 
cgit v1.2.3