From 94118d4d9ad4bbce3533638ca5fc540275d14a69 Mon Sep 17 00:00:00 2001
From: Vytautas Astrauskas <astrauv@amazon.com>
Date: Thu, 16 Apr 2020 12:22:58 -0700
Subject: [PATCH] Make an assert message consistent with other asserts.

---
 src/eval.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/eval.rs b/src/eval.rs
index d83039e47568..085a53862fd4 100644
--- a/src/eval.rs
+++ b/src/eval.rs
@@ -206,7 +206,7 @@ pub fn eval_main<'tcx>(tcx: TyCtxt<'tcx>, main_id: DefId, config: MiriConfig) ->
     let res: InterpResult<'_, i64> = (|| {
         // Main loop.
         while ecx.schedule()? {
-            assert!(ecx.step()?, "Bug: a terminated thread was scheduled for execution.");
+            assert!(ecx.step()?, "a terminated thread was scheduled for execution");
             ecx.process_diagnostics();
         }
         // Read the return code pointer *before* we run TLS destructors, to assert