From d23acb4f6494b4f401384528551b16b9a3438b31 Mon Sep 17 00:00:00 2001
From: Julien Cretin <cretin@google.com>
Date: Fri, 20 Nov 2020 15:55:56 +0100
Subject: [PATCH] Make sure production store only builds with usize=u32

---
 libraries/persistent_store/src/lib.rs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/libraries/persistent_store/src/lib.rs b/libraries/persistent_store/src/lib.rs
index 9b87bd4..563db65 100644
--- a/libraries/persistent_store/src/lib.rs
+++ b/libraries/persistent_store/src/lib.rs
@@ -379,6 +379,8 @@ pub use self::store::{
 /// with Rust, `usize` is used instead of `Nat` in code meant only for tests.
 ///
 /// Currently, the store only supports targets with `usize = u32`.
+// Make sure production builds have `usize = 32`.
+#[cfg(any(target_pointer_width = "32", feature = "std"))]
 type Nat = u32;
 
 /// Returns the internal representation of a Rust natural number.