From f2907e471b3caddc5844bc6994e1cbd249019747 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Mon, 26 Aug 2024 15:35:09 +0200 Subject: Fixed bug in run solve --- shell.c | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'shell.c') diff --git a/shell.c b/shell.c index c1efcbd..66b1444 100644 --- a/shell.c +++ b/shell.c @@ -183,21 +183,21 @@ struct { ), COMMAND( "datasize", - "datasize" _flag_solver " SOLVER " _flag_options " OPTIONS", + "datasize " _flag_solver " SOLVER " _flag_options " OPTIONS", "Return the size in bytes of the data table used by " "SOLVER when called with the given OPTIONS.", datasize_exec ), COMMAND( "gendata", - "gendata" _flag_solver " SOLVER " _flag_options " OPTIONS", + "gendata " _flag_solver " SOLVER " _flag_options " OPTIONS", "Generate the data table used by " "SOLVER when called with the given OPTIONS.", gendata_exec ), COMMAND( "solve", - "solve" _flag_solver " SOLVER " _flag_options " OPTIONS " + "solve " _flag_solver " SOLVER " _flag_options " OPTIONS " "[" _flag_minmoves " n] [" _flag_maxmoves " N] " _flag_cube " CUBE", "Solve the given CUBE using SOLVER with the given OPTIONS, " -- cgit v1.3