diff --git a/let.cmi b/let.cmi
deleted file mode 100644
index c066624..0000000
Binary files a/let.cmi and /dev/null differ
diff --git a/let.cmo b/let.cmo
deleted file mode 100644
index 738f282..0000000
Binary files a/let.cmo and /dev/null differ