From bac9379680ff28cac73b158a2f0932667f9d6f4b Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Tue, 19 Jul 2016 15:08:07 +0200
Subject: [PATCH] add missing file to _CoqProject

---
 _CoqProject | 1 +
 1 file changed, 1 insertion(+)

diff --git a/_CoqProject b/_CoqProject
index e5adcf5cd..df988bd6c 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -106,6 +106,7 @@ tests/one_shot.v
 tests/joining_existentials.v
 tests/proofmode.v
 tests/barrier_client.v
+tests/list_reverse.v
 proofmode/coq_tactics.v
 proofmode/pviewshifts.v
 proofmode/environments.v
-- 
GitLab