Rename the module!

Why didn't I think of leaving the redundant word 'nimber' off that
module name ages ago?

diff --git a/src/finitenimber.rs b/src/finite.rs
similarity index 100%
rename from src/finitenimber.rs
rename to src/finite.rs

diff --git a/src/lib.rs b/src/lib.rs
index bc692dc1f8f71faa90e5998ce3e2ef53bd98e965..ce3997517e43f565cb800337e5a347862293e20a 100644 (file)
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -1,3 +1,3 @@
-mod finitenimber;
+mod finite;
 
-pub use finitenimber::FiniteNimber;
+pub use finite::FiniteNimber;