From: Simon Tatham <anakin@pobox.com>
Date: Tue, 15 Apr 2025 05:36:13 +0000 (+0100)
Subject: Rename the module!
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ian/git?a=commitdiff_plain;h=b35a93d0264603864151e124f24d890efcbcf85d;p=nimber.git

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 bc692dc..ce39975 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -1,3 +1,3 @@
-mod finitenimber;
+mod finite;
 
-pub use finitenimber::FiniteNimber;
+pub use finite::FiniteNimber;