Update sat_params.pyg

Z3Prover · Jun 9, 2022 · 97437bc · 97437bc · NikolajBjorner · Jun 12, 2022
1 parent 828850f
commit 97437bc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/sat/sat_params.pyg b/src/sat/sat_params.pyg
@@ -50,7 +50,7 @@ def_module_params('sat',
                           ('drat.binary', BOOL, False, 'use Binary DRAT output format'),
                           ('drat.check_unsat', BOOL, False, 'build up internal proof and check'),
                           ('drat.check_sat', BOOL, False, 'build up internal trace, check satisfying model'),
-			  ('drup.trim', BOOL, False, 'build and trim drup proof'),
+                          ('drup.trim', BOOL, False, 'build and trim drup proof'),
                           ('drat.activity', BOOL, False, 'dump variable activities'),
                           ('cardinality.solver', BOOL, True, 'use cardinality solver'),
                           ('pb.solver', SYMBOL, 'solver', 'method for handling Pseudo-Boolean constraints: circuit (arithmetical circuit), sorting (sorting circuit), totalizer (use totalizer encoding), binary_merge, segmented, solver (use native solver)'),