From a68d9b5dedf84101b4ad4f0d6f10a3ef6c4f26e8 Mon Sep 17 00:00:00 2001
From: Andreas Longva <andreas.b.longva@gmail.com>
Date: Mon, 14 Nov 2022 09:42:59 +0100
Subject: [PATCH] Rename construction_slice.rs -> construction_view.rs

---
 src/base/{construction_slice.rs => construction_view.rs} | 0
 src/base/mod.rs                                          | 2 +-
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename src/base/{construction_slice.rs => construction_view.rs} (100%)

diff --git a/src/base/construction_slice.rs b/src/base/construction_view.rs
similarity index 100%
rename from src/base/construction_slice.rs
rename to src/base/construction_view.rs
diff --git a/src/base/mod.rs b/src/base/mod.rs
index 6fb3685d..dfe7cc8d 100644
--- a/src/base/mod.rs
+++ b/src/base/mod.rs
@@ -18,7 +18,7 @@ mod cg;
 mod componentwise;
 #[macro_use]
 mod construction;
-mod construction_slice;
+mod construction_view;
 mod conversion;
 mod edition;
 pub mod indexing;