diff --git a/src/planarchaos b/src/check-redundant
similarity index 100%
rename from src/planarchaos
rename to src/check-redundant