smtr: Fix help text

Can't take both [selection] and [filename] optional arguments.
YosysHQ · Jan 6, 2025 · 7698dfb · 7698dfb
1 parent f4c7377
commit 7698dfb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/backends/functional/smtlib_rosette.cc b/backends/functional/smtlib_rosette.cc
@@ -267,7 +267,7 @@ struct FunctionalSmtrBackend : public Backend {
     	void help() override {
         	//   |---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|
 		log("\n");
-		log("    write_functional_rosette [options] [selection] [filename]\n");
+		log("    write_functional_rosette [options] [filename]\n");
 		log("\n");
 		log("Functional Rosette Backend.\n");
 		log("\n");