From b5c5ff91de34c6ec856c7f62e7ff9bbcc9df5b96 Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Tue, 15 Mar 2016 11:20:24 +0100
Subject: [PATCH] Move one_shot example to examples folder.

---
 _CoqProject                        | 2 +-
 {heap_lang => examples}/one_shot.v | 0
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename {heap_lang => examples}/one_shot.v (100%)

diff --git a/_CoqProject b/_CoqProject
index 8fce989b5..6d02c85be 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -89,10 +89,10 @@ heap_lang/par.v
 heap_lang/tests.v
 heap_lang/substitution.v
 heap_lang/assert.v
-heap_lang/one_shot.v
 barrier/barrier.v
 barrier/specification.v
 barrier/protocol.v
 barrier/proof.v
 barrier/client.v
 examples/joining_existentials.v
+examples/one_shot.v
diff --git a/heap_lang/one_shot.v b/examples/one_shot.v
similarity index 100%
rename from heap_lang/one_shot.v
rename to examples/one_shot.v
-- 
GitLab