From 999ce2e3e660e0e8754f486d0296488ef651d5ce Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Wed, 22 Feb 2017 16:50:21 +0100
Subject: [PATCH] try to improve parallelism by putting the examples last

---
 _CoqProject | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/_CoqProject b/_CoqProject
index 7e0e9a5a..bc8a28e2 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -45,13 +45,6 @@ theories/typing/fixpoint.v
 theories/typing/type_sum.v
 theories/typing/typing.v
 theories/typing/soundness.v
-theories/typing/examples/get_x.v
-theories/typing/examples/rebor.v
-theories/typing/examples/unbox.v
-theories/typing/examples/init_prod.v
-theories/typing/examples/option_as_mut.v
-theories/typing/examples/unwrap_or.v
-theories/typing/examples/lazy_lft.v
 theories/typing/unsafe/cell.v
 theories/typing/unsafe/spawn.v
 theories/typing/unsafe/refcell/refcell.v
@@ -60,3 +53,10 @@ theories/typing/unsafe/refcell/refmut.v
 theories/typing/unsafe/refcell/refcell_code.v
 theories/typing/unsafe/refcell/ref_code.v
 theories/typing/unsafe/refcell/refmut_code.v
+theories/typing/examples/get_x.v
+theories/typing/examples/rebor.v
+theories/typing/examples/unbox.v
+theories/typing/examples/init_prod.v
+theories/typing/examples/option_as_mut.v
+theories/typing/examples/unwrap_or.v
+theories/typing/examples/lazy_lft.v
-- 
GitLab