From 4e8725f31451e1ea08bb75a6fd728c7fa8818207 Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Tue, 16 Feb 2016 16:57:47 +0100
Subject: [PATCH] Add saved_props to _CoqProject.

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

diff --git a/_CoqProject b/_CoqProject
index 9d0be2709..942d29768 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -66,6 +66,7 @@ program_logic/hoare.v
 program_logic/language.v
 program_logic/tests.v
 program_logic/ghost_ownership.v
+program_logic/saved_prop.v
 program_logic/auth.v
 program_logic/sts.v
 heap_lang/heap_lang.v
-- 
GitLab