diff --git a/libguile/markers.c b/libguile/markers.c deleted file mode 100644 index e69de29bb..000000000 diff --git a/libguile/markers.h b/libguile/markers.h deleted file mode 100644 index e69de29bb..000000000