From 592b6443495bb5fd9b4f9976051bfb2c5f1a653a Mon Sep 17 00:00:00 2001
From: Bryan Parno <parno@cmu.edu>
Date: Thu, 28 Dec 2023 20:07:18 -0500
Subject: [PATCH] Add a helpful suggestion

---
 src/lib.rs | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/lib.rs b/src/lib.rs
index 28550e4..38a405e 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -1276,7 +1276,10 @@ pub fn rustfmt(value: &str) -> Option<String> {
             if output.status.success() {
                 return Some(from_utf8(&output.stdout).unwrap().into());
             } else {
-                eprintln!("rustfmt failed! {}", from_utf8(&output.stderr).unwrap());
+                eprintln!(
+                    "\nrustfmt failed! {}\n\tConsider running with --verus-only\n",
+                    from_utf8(&output.stderr).unwrap()
+                );
             }
         }
     }