From 9d8cdf700567c4eefab1171a0802f3e505e11854 Mon Sep 17 00:00:00 2001
From: Davide Fissore <fisso9900@gmail.com>
Date: Wed, 31 Jul 2024 16:07:31 +0200
Subject: [PATCH] [TC] rebasing adding `tc.` prefix to test

---
 apps/tc/tests/hyp_in_conl.v | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/apps/tc/tests/hyp_in_conl.v b/apps/tc/tests/hyp_in_conl.v
index 9d71307e6..dc9f04369 100644
--- a/apps/tc/tests/hyp_in_conl.v
+++ b/apps/tc/tests/hyp_in_conl.v
@@ -58,7 +58,6 @@ Module M3.
     Local Instance AX : A := {}.
     Local Instance BX : A -> (B AX) := {}.
 
-    Elpi Accumulate TC.Solver lp:{{ print-goal. print-solution. }}.
     Definition d : C AX (BX _) := _.
     Definition d' : C _ (BX _) := _.
     Definition d'' : C AX _ := _.
@@ -74,7 +73,7 @@ Module M3.
     *)
     Elpi Query TC.Solver lp:{{
       S = {{c AX (BX _)}},
-      solve-aux1 [] {{C _ _}} S.
+      tc.solve-aux1 [] {{C _ _}} S.
     }}.
 
   End s.