From ad0b8dcd9df53ea61628f49e362b5528fcb55fc7 Mon Sep 17 00:00:00 2001 From: Davide Fissore Date: Fri, 12 Jul 2024 15:45:07 +0200 Subject: [PATCH] remove reduntant calls to Elpi Typecheck --- apps/tc/theories/add_commands.v | 10 ---------- 1 file changed, 10 deletions(-) diff --git a/apps/tc/theories/add_commands.v b/apps/tc/theories/add_commands.v index fcecf6d33..5d942fdad 100644 --- a/apps/tc/theories/add_commands.v +++ b/apps/tc/theories/add_commands.v @@ -19,25 +19,15 @@ Set Warnings "+elpi". Elpi Command TC.AddAllInstances. Elpi Accumulate Db tc.db. -Elpi Typecheck. Elpi Accumulate Db tc_options.db. -Elpi Typecheck. Elpi Accumulate File base. -Elpi Typecheck. Elpi Accumulate File tc_aux. -Elpi Typecheck. Elpi Accumulate File ho_precompile. -Elpi Typecheck. Elpi Accumulate File unif. -Elpi Typecheck. Elpi Accumulate File ho_link. -Elpi Typecheck. Elpi Accumulate File ho_compile. -Elpi Typecheck. Elpi Accumulate File compiler1. -Elpi Typecheck. Elpi Accumulate File modes. -Elpi Typecheck. Elpi Accumulate lp:{{ main L :- args->str-list L L1,