diff --git a/src/eval.rs b/src/eval.rs
index 4d85e947bb..1604f33a7b 100644
--- a/src/eval.rs
+++ b/src/eval.rs
@@ -203,7 +203,7 @@ pub fn eval_main<'tcx>(tcx: TyCtxt<'tcx>, main_id: DefId, config: MiriConfig) ->
                 InterpError::Exit(code) => return Some(code.into()),
                 err_unsup!(NoMirFor(..)) =>
                     format!("{}. Did you set `MIRI_SYSROOT` to a Miri-enabled sysroot? You can prepare one with `cargo miri setup`.", e),
-                InterpError::Panic(_) | InterpError::InvalidProgram(_) =>
+                InterpError::InvalidProgram(_) =>
                     bug!("This error should be impossible in Miri: {}", e),
                 _ => e.to_string()
             };