Auto merge of #1308 - RalfJung:miri, r=RalfJung

[rust.git] / tests / compile-fail / unchecked_add2.rs

diff --git a/tests/compile-fail/unchecked_add2.rs b/tests/compile-fail/unchecked_add2.rs
index fa6a232aedee9c23843237f88ded47c03bd172e5..150986541c3d94a6baa459771abe91e920cc2e9b 100644 (file)
--- a/tests/compile-fail/unchecked_add2.rs
+++ b/tests/compile-fail/unchecked_add2.rs
@@ -1,5 +1,5 @@
 #![feature(core_intrinsics)]
 fn main() {
     // MIN overflow
-    unsafe { std::intrinsics::unchecked_add(-30000i16, -8000); } //~ ERROR Overflow executing `unchecked_add`
+    unsafe { std::intrinsics::unchecked_add(-30000i16, -8000); } //~ ERROR overflow executing `unchecked_add`
 }