From ae8a85e51da81edcdcbf3a3630b37fb367d98ae1 Mon Sep 17 00:00:00 2001
From: Dan Frumin <dfrumin@cs.ru.nl>
Date: Thu, 9 Apr 2020 16:19:14 +0200
Subject: [PATCH] quickfix for _CoqProject

---
 _CoqProject | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/_CoqProject b/_CoqProject
index 3bd069d..1c627ac 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -61,3 +61,5 @@ theories/examples/par.v
 
 theories/experimental/helping/mailbox.v
 theories/experimental/helping/helping_stack.v
+
+theories/experimental/hocap/counter.v
-- 
GitLab