Typo

[rust.git] / src / intptrcast.rs

diff --git a/src/intptrcast.rs b/src/intptrcast.rs
index 0ebc62ebbfb198b3701290c01d382283a1e95215..5a33ada450443798b129c252120a6cefc3103f56 100644 (file)
--- a/src/intptrcast.rs
+++ b/src/intptrcast.rs
@@ -146,9 +146,7 @@ pub fn ptr_from_addr_cast(
                 });
             }
             ProvenanceMode::Strict => {
-                throw_unsup_format!(
-                    "integer-to-pointer casts and `from_exposed_addr` are not supported with `-Zmiri-strict-provenance`; use `with_addr` instead"
-                )
+                throw_machine_stop!(TerminationInfo::Int2PtrWithStrictProvenance);
             }
             ProvenanceMode::Permissive => {}
         }