From 7542306e9d48fc47273cd583ccf056c8ed4b9818 Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Tue, 2 Aug 2016 15:44:18 +0200
Subject: [PATCH] Move tests/ticket_lock.v -> heap_lang/lib/ticket_lock.v.
---
_CoqProject | 2 +-
{tests => heap_lang/lib}/ticket_lock.v | 0
2 files changed, 1 insertion(+), 1 deletion(-)
rename {tests => heap_lang/lib}/ticket_lock.v (100%)
diff --git a/_CoqProject b/_CoqProject
index 4e26c5365..f671907c1 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -96,6 +96,7 @@ heap_lang/lib/spawn.v
heap_lang/lib/par.v
heap_lang/lib/assert.v
heap_lang/lib/lock.v
+heap_lang/lib/ticket_lock.v
heap_lang/lib/counter.v
heap_lang/lib/barrier/barrier.v
heap_lang/lib/barrier/specification.v
@@ -110,7 +111,6 @@ tests/proofmode.v
tests/barrier_client.v
tests/list_reverse.v
tests/tree_sum.v
-tests/ticket_lock.v
proofmode/coq_tactics.v
proofmode/pviewshifts.v
proofmode/environments.v
diff --git a/tests/ticket_lock.v b/heap_lang/lib/ticket_lock.v
similarity index 100%
rename from tests/ticket_lock.v
rename to heap_lang/lib/ticket_lock.v
--
GitLab