From d74979790feaf98729653d7138ebff5e43303218 Mon Sep 17 00:00:00 2001
From: jihgfee <jihgfee@gmail.com>
Date: Fri, 5 Jun 2020 13:34:04 +0200
Subject: [PATCH] Added mapper example to _CoqProject

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

diff --git a/_CoqProject b/_CoqProject
index b327506..828b405 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -33,4 +33,4 @@ theories/logrel/examples/double.v
 theories/logrel/examples/pair.v
 theories/logrel/examples/rec_subtyping.v
 theories/logrel/examples/choice_subtyping.v
-
+theories/logrel/examples/mapper.v
-- 
GitLab