diff --git a/heptagon/main/hepcheck.ml b/heptagon/main/hepcheck.ml
deleted file mode 100644
index e69de29..0000000