From 4ce07059b3621135dcc2ddcb4f49447432658482 Mon Sep 17 00:00:00 2001
From: Nicolas Nardino <nicolas.nardino@club-internet.fr>
Date: Tue, 27 Feb 2024 09:32:11 +0100
Subject: [PATCH] removed hom file from delim example while not implemented

---
 _CoqProject | 1 -
 1 file changed, 1 deletion(-)

diff --git a/_CoqProject b/_CoqProject
index c97c206..19aab97 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -31,7 +31,6 @@ theories/program_logic.v
 
 theories/examples/input_lang_delim/lang.v
 theories/examples/input_lang_delim/interp.v
-theories/examples/input_lang_delim/hom.v
 theories/examples/input_lang_delim/logrel.v
 
 theories/examples/input_lang_callcc/lang.v