From 73e09aa251a1bb3dea5b4497d3865a21b2ff3be6 Mon Sep 17 00:00:00 2001
From: Jason Gross
Date: Tue, 9 May 2017 11:19:29 -0700
Subject: Put .travis.yml in alphabetical order

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

diff --git a/.travis.yml b/.travis.yml
index 3ed547bb15..270bdcaede 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -36,12 +36,12 @@ env:
   - TEST_TARGET="ci-fiat-crypto"
   - TEST_TARGET="ci-fiat-parsers"
   - TEST_TARGET="ci-flocq"
+  - TEST_TARGET="ci-formal-topology"
   - TEST_TARGET="ci-hott"
   - TEST_TARGET="ci-iris-coq"
   - TEST_TARGET="ci-math-classes"
   - TEST_TARGET="ci-math-comp"
   - TEST_TARGET="ci-sf"
-  - TEST_TARGET="ci-formal-topology"
   - TEST_TARGET="ci-unimath"
   - TEST_TARGET="ci-vst"
   # Not ready yet for 8.7
-- 
cgit v1.2.3