diff --git a/examples/planets b/examples/planets.pl
similarity index 100%
rename from examples/planets
rename to examples/planets.pl