From a822d0a6f9688f18ef0dbcc5ee017d3c4002db29 Mon Sep 17 00:00:00 2001
From: 4ever2 <3417013+4ever2@users.noreply.github.com>
Date: Mon, 15 Jul 2024 15:00:19 +0200
Subject: [PATCH] Simplify logpaths

---
 _CoqProject | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/_CoqProject b/_CoqProject
index 5e78903..9ac50da 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -1,6 +1,4 @@
--Q theories/Mon SSProve.Mon
--Q theories/Relational SSProve.Relational
--Q theories/Crypt SSProve.Crypt
+-Q theories SSProve
 
 theories/Mon/Base.v
 theories/Mon/SPropBase.v