From 7917d4d5febe8ffb5939ad5c7db2b9c604dfeb3f Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@Inria.fr>
Date: Thu, 19 Sep 2024 15:52:31 +0200
Subject: [PATCH] fixup

---
 apps/tc/elpi/tc_aux.elpi | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/apps/tc/elpi/tc_aux.elpi b/apps/tc/elpi/tc_aux.elpi
index e29955cf2..b1583a20c 100644
--- a/apps/tc/elpi/tc_aux.elpi
+++ b/apps/tc/elpi/tc_aux.elpi
@@ -158,7 +158,8 @@ namespace tc {
 
   pred remove-clause i:string, i:prop, i:list prop.
   remove-clause ClauseName P Locality :-
-    Locality => add-tc-db _ (remove ClauseName) P.
+    %Locality => add-tc-db _ (remove ClauseName) P.
+    Locality => add-tc-db _ (replace ClauseName) (P :- fail).
 
   % [section-var->decl.aux L R] auxiliary function for `section-var->decl`
   pred section-var->decl.aux i:list constant, o:list prop.