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");