From 0781afe27e68752cc0de0ab476bb621732a9197a Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Mon, 21 Mar 2016 16:31:05 +0100
Subject: [PATCH] Add new algebra/list to _CoqProject.

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

diff --git a/_CoqProject b/_CoqProject
index 467bb6214..11ce70ea2 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -55,6 +55,7 @@ algebra/upred_tactics.v
 algebra/upred_big_op.v
 algebra/frac.v
 algebra/one_shot.v
+algebra/list.v
 program_logic/model.v
 program_logic/adequacy.v
 program_logic/hoare_lifting.v
-- 
GitLab