From a169cf576e2a6f174bb1a315e3f33ee12fe39b2f Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Sat, 6 Jul 2019 00:36:51 +0200
Subject: [PATCH] Move fractional spin_lock to experimental since we do not use
it.
---
_CoqProject | 1 -
{theories/utils => experimental}/spin_lock.v | 0
2 files changed, 1 deletion(-)
rename {theories/utils => experimental}/spin_lock.v (100%)
diff --git a/_CoqProject b/_CoqProject
index b79a001..d44c0b0 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -3,7 +3,6 @@
theories/utils/auth_excl.v
theories/utils/list.v
theories/utils/compare.v
-theories/utils/spin_lock.v
theories/utils/contribution.v
theories/channel/channel.v
theories/channel/proto_model.v
diff --git a/theories/utils/spin_lock.v b/experimental/spin_lock.v
similarity index 100%
rename from theories/utils/spin_lock.v
rename to experimental/spin_lock.v
--
GitLab