diff --git a/pddl/main_platform.STL b/pddl/main_platform.STL
deleted file mode 100644
index 7450511..0000000
Binary files a/pddl/main_platform.STL and /dev/null differ