From b35a93d0264603864151e124f24d890efcbcf85d Mon Sep 17 00:00:00 2001
From: Simon Tatham <anakin@pobox.com>
Date: Tue, 15 Apr 2025 06:36:13 +0100
Subject: [PATCH] Rename the module!

Why didn't I think of leaving the redundant word 'nimber' off that
module name ages ago?
---
 src/{finitenimber.rs => finite.rs} | 0
 src/lib.rs                         | 4 ++--
 2 files changed, 2 insertions(+), 2 deletions(-)
 rename src/{finitenimber.rs => finite.rs} (100%)

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;
-- 
2.30.2