From 113c91a5de034b08525ef317444bc32ce4faed61 Mon Sep 17 00:00:00 2001 From: Ziyang Hu Date: Thu, 4 May 2023 23:51:28 +0800 Subject: [PATCH] Improve parsing --- cozo-core/src/parse/sys.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/cozo-core/src/parse/sys.rs b/cozo-core/src/parse/sys.rs index 387a3b97..34b1709f 100644 --- a/cozo-core/src/parse/sys.rs +++ b/cozo-core/src/parse/sys.rs @@ -592,10 +592,10 @@ pub(crate) fn parse_sys( index_filter = Some(opt_val.as_str().to_string()); } "extend_candidates" => { - extend_candidates = opt_val.as_str() == "true"; + extend_candidates = opt_val.as_str().trim() == "true"; } "keep_pruned_connections" => { - keep_pruned_connections = opt_val.as_str() == "true"; + keep_pruned_connections = opt_val.as_str().trim() == "true"; } _ => return Err(miette!("Invalid option: {}", opt_name.as_str())), }