Add a helpful suggestion

verus-lang · Dec 29, 2023 · 592b644 · 592b644
1 parent 431bed7
commit 592b644
Showing 1 changed file with 4 additions and 1 deletion.
diff --git 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()
+                );
             }
         }
     }