diff --git a/src/common.ml b/src/common.ml deleted file mode 100644 index e69de29..0000000