From 71eeffe7e9e3b379fe2c91e833dbeb35e1cb7971 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Fran=C3=A7ois=20Fleuret?= Date: Mon, 23 Oct 2023 08:17:19 +0200 Subject: [PATCH] Update. --- main.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/main.py b/main.py index f4e4f5c..3ce5916 100755 --- a/main.py +++ b/main.py @@ -160,7 +160,7 @@ parser.add_argument("--expr_result_max", type=int, default=99) parser.add_argument("--expr_input_file", type=str, default=None) ############################## -# Misc +# Mixing parser.add_argument("--mixing_hard", action="store_true", default=False) -- 2.20.1