remove ICEin intrinsic

diff --git a/src/shims/intrinsics.rs b/src/shims/intrinsics.rs
index 641b8b2563634ca8ce9ac82ad43d1fb402d948c7..e0eb0df87c48185e95cee9261c8f76ab9ced6f3b 100644 (file)
--- a/src/shims/intrinsics.rs
+++ b/src/shims/intrinsics.rs
@@ -217,8 +217,6 @@ fn call_intrinsic(
                 this.write_immediate(*val, place.into())?;
             }
 
-            "breakpoint" => unimplemented!(), // halt miri
-
             #[rustfmt::skip]
             | "copy"
             | "copy_nonoverlapping"