From ded7c9cb0302134af1b0283d94e2a92ce71fd700 Mon Sep 17 00:00:00 2001
From: Gus Smith <guscomps@gmail.com>
Date: Sat, 29 Nov 2025 14:59:04 -0800
Subject: [PATCH] More formatting undos'

---
 backends/functional/smtlib_rosette.cc | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/backends/functional/smtlib_rosette.cc b/backends/functional/smtlib_rosette.cc
index ee5fb8f54..1924418b6 100644
--- a/backends/functional/smtlib_rosette.cc
+++ b/backends/functional/smtlib_rosette.cc
@@ -301,7 +301,7 @@ struct SmtrModule {
 	}
 
 	void write(std::ostream &out)
-	{
+	{    
 		SExprWriter w(out);
 
 		input_struct.write_definition(w);
@@ -322,9 +322,8 @@ struct SmtrModule {
 struct FunctionalSmtrBackend : public Backend {
 	FunctionalSmtrBackend() : Backend("functional_rosette", "Generate Rosette compatible Racket from Functional IR") {}
 
-	void help() override
-	{
-		//   |---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|
+    	void help() override {
+        	//   |---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|
 		log("\n");
 		log("    write_functional_rosette [options] [filename]\n");
 		log("\n");