From 4b5b718241ad586cf6b58fb02868d015e02b929f Mon Sep 17 00:00:00 2001
From: Richard Feldman <oss@rtfeldman.com>
Date: Mon, 30 Oct 2023 21:15:53 -0400
Subject: [PATCH] cargo fmt

---
 crates/repl_ui/src/lib.rs | 1 -
 1 file changed, 1 deletion(-)

diff --git a/crates/repl_ui/src/lib.rs b/crates/repl_ui/src/lib.rs
index 965cde7793..2f20723446 100644
--- a/crates/repl_ui/src/lib.rs
+++ b/crates/repl_ui/src/lib.rs
@@ -20,7 +20,6 @@ pub const TIPS: &str = concatcp!(
     "x = 1",
     END_COL,
     ") to use later.\n\n",
-
     if cfg!(target_family = "wasm") {
         "" // In the web repl, we render tips in the UI around the repl instead of in the repl itself.
     } else {