diff --git a/regression/test000.cmi b/regression/test000.cmi
deleted file mode 100644
index df77f65d5..000000000
Binary files a/regression/test000.cmi and /dev/null differ
diff --git a/regression/test000.cmx b/regression/test000.cmx
deleted file mode 100644
index 260b67a4f..000000000
Binary files a/regression/test000.cmx and /dev/null differ
diff --git a/regression/test000.o b/regression/test000.o
deleted file mode 100644
index fa325db22..000000000
Binary files a/regression/test000.o and /dev/null differ