Delete coqCodegen.test.js

huynhtrankhanh · Dec 5, 2023 · 81ec5fa · 81ec5fa
1 parent 8d40746
commit 81ec5fa
Showing 1 changed file with 0 additions and 9 deletions.
diff --git a/compiler/coqCodegen.test.js b/compiler/coqCodegen.test.js