Clarify meaning of internal errors (#1433)

viperproject · Aug 4, 2023 · 863cd59 · 863cd59
1 parent 4c6e982
commit 863cd59
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/prusti-interface/src/prusti_error.rs b/prusti-interface/src/prusti_error.rs
@@ -131,10 +131,10 @@ impl PrustiError {
     pub fn internal<S: ToString>(message: S, span: MultiSpan) -> Self {
         check_message(message.to_string());
         let mut error = PrustiError::new(
-            "[Prusti internal error] Prusti encountered an unexpected internal error".to_string(),
+            "[Prusti: internal error] Prusti encountered an unexpected internal error".to_string(),
             span
         ).add_note(
-            "We would appreciate a bug report: https://github.com/viperproject/prusti-dev/issues/new",
+            "This is likely to be a bug in Prusti. We would appreciate a bug report: https://github.com/viperproject/prusti-dev/issues/new",
             None
         ).add_note(
             format!("Details: {}", message.to_string()),