Fix some comments and if in solution

These changes were forgotten after change from minisat to picosat

1 files changed, 1 insertions, 1 deletions

diff --git a/conf.py b/conf.py
index b769bdb..c68d3bb 100644
--- a/conf.py
+++ b/conf.py
@@ -9,7 +9,7 @@ novaboot_args = ['--qemu=qemu-system-x86_64']
 picosat_args = []
 # Programs output show/hide
 parse_kconfig_output = False
-minisat_output = False
+picosat_output = False
 kernel_config_output = True
 kernel_make_output = True
 boot_output = True