From 7fc8971111a0aec6134f9b4baf3a2a1f6c8040d8 Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Tue, 19 Apr 2016 23:45:31 +0200
Subject: [PATCH] Put the barrier client in the tests folder.

It is just a test case and not really part of the barrier library.
---
 _CoqProject                                              | 2 +-
 heap_lang/lib/barrier/client.v => tests/barrier_client.v | 0
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename heap_lang/lib/barrier/client.v => tests/barrier_client.v (100%)

diff --git a/_CoqProject b/_CoqProject
index bd65b66b8..2793abada 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -96,13 +96,13 @@ heap_lang/lib/barrier/barrier.v
 heap_lang/lib/barrier/specification.v
 heap_lang/lib/barrier/protocol.v
 heap_lang/lib/barrier/proof.v
-heap_lang/lib/barrier/client.v
 heap_lang/proofmode.v
 tests/heap_lang.v
 tests/program_logic.v
 tests/one_shot.v
 tests/joining_existentials.v
 tests/proofmode.v
+tests/barrier_client.v
 proofmode/coq_tactics.v
 proofmode/pviewshifts.v
 proofmode/environments.v
diff --git a/heap_lang/lib/barrier/client.v b/tests/barrier_client.v
similarity index 100%
rename from heap_lang/lib/barrier/client.v
rename to tests/barrier_client.v
-- 
GitLab