diff --git a/basis/ExnPrinter.580.sml b/basis/ExnPrinter.581.sml
similarity index 100%
rename from basis/ExnPrinter.580.sml
rename to basis/ExnPrinter.581.sml