diff --git a/jshop2/run.rb b/jshop2/run.rb index a10f4d7094cc9a828310aa7c810169aac266035e..dbd9963fc9395eaae7516e2c61cd464272fed731 100755 --- a/jshop2/run.rb +++ b/jshop2/run.rb @@ -22,7 +22,7 @@ begin domain_name = File.basename(domain_file, '.*') problem_name = File.basename(problem_file, '.*') mode = 'run' if mode != 'gui' - plans = 'a' if mode !~ /\d+/ + plans = 'a' if plans !~ /\d+/ puts 'Input', " domain file: #{domain_file}", " problem file: #{problem_file}",