diff --git a/src/diagnostics.rs b/src/diagnostics.rs
index a20e8126c1..ca3dd4dd66 100644
--- a/src/diagnostics.rs
+++ b/src/diagnostics.rs
@@ -88,6 +88,8 @@ pub fn report_error<'tcx, 'mir>(
                     "Undefined Behavior",
                 ResourceExhaustion(_) =>
                     "resource exhaustion",
+                InvalidProgram(InvalidProgramInfo::ReferencedConstant) =>
+                    "post-monomorphization error",
                 _ =>
                     bug!("This error should be impossible in Miri: {}", e),
             };