Remove dead code (#398)

The file ecCoreHiPhl.ml seems to be dead code because: - It contains an open EcLogic which was deleted in 2014 (commit 6fe0ea9) - The last time it was modified (apart from licence headers) was in 2013 (commit f2e05e2)
EasyCrypt · Jun 15, 2023 · 8232d04 · 8232d04
1 parent b0eeedc
commit 8232d04
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 89 deletions.
diff --git a/src/ecCoreHiPhl.ml b/src/ecCoreHiPhl.ml
diff --git a/src/ecCoreHiPhl.mli b/src/ecCoreHiPhl.mli