rm generated file

LPCIC · Oct 10, 2023 · c7c7722 · c7c7722
1 parent c5e2edd
commit c7c7722
Showing 1 changed file with 0 additions and 93 deletions.
diff --git a/apps/tc/src/coq_elpi_tc_hook.ml b/apps/tc/src/coq_elpi_tc_hook.ml