From 410f003beb59662afe728d457e9ff764f7441fca Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 15 Nov 2025 15:06:18 -0800 Subject: [PATCH] fix build Signed-off-by: Nikolaj Bjorner --- src/params/smt_parallel_params.pyg | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/params/smt_parallel_params.pyg b/src/params/smt_parallel_params.pyg index d1e2e567d..302616ce0 100644 --- a/src/params/smt_parallel_params.pyg +++ b/src/params/smt_parallel_params.pyg @@ -24,5 +24,5 @@ def_module_params('smt_parallel', ('inprocessing_delay', UINT, 0, 'number of undef before invoking simplification'), ('param_tuning', BOOL, False, 'whether to tune params online during solving'), ('enable_parallel_smt', BOOL, True, 'whether to run the parallel solver (set to FALSE to test param tuning only)'), - ('tunable_params', STRING, '', 'comma-separated key=value list for online param tuning, e.g. \"smt.arith.nl.horner=false,smt.arith.nl.delay=8\"') + ('tunable_params', STRING, '', 'comma-separated key=value list for online param tuning, e.g. smt.arith.nl.horner=false,smt.arith.nl.delay=8'), )) \ No newline at end of file