From 60996d8cad3383589b1d06c6a1a9fff5e2a6cbed Mon Sep 17 00:00:00 2001
From: =?utf8?q?Anders=20M=C3=B6rtberg?= <andersmortberg@gmail.com>
Date: Thu, 7 Jul 2016 13:57:41 +0200
Subject: [PATCH] move testempty

---
 {examples => experiments}/testempty.ctt | 2 ++
 1 file changed, 2 insertions(+)
 rename {examples => experiments}/testempty.ctt (95%)

diff --git a/examples/testempty.ctt b/experiments/testempty.ctt
similarity index 95%
rename from examples/testempty.ctt
rename to experiments/testempty.ctt
index e4cd234..04bdfa7 100644
--- a/examples/testempty.ctt
+++ b/experiments/testempty.ctt
@@ -1,3 +1,5 @@
+-- This file tests some things where Coq gets stuck but cubicaltt don't
+-- It doesn't compile with the new definition of equiv
 module testempty where
 
 import nat
-- 
2.34.1