Merge pull request #23 from timbeurskens/fix/free-vars-truthtable

only show free variables in truth table
timbeurskens · Mar 13, 2022 · bf691bf · bf691bf
2 parents fb1e88e + 397ab00
commit bf691bf
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "rsbdd"
-version = "0.6.0"
+version = "0.6.1"
 edition = "2021"
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html

diff --git a/src/main.rs b/src/main.rs
@@ -93,7 +93,7 @@ fn main() {
     };
 
     if args.is_present("show_truth_table") {
-        println!("{:?}", input_parsed.vars);
+        println!("{:?}", input_parsed.free_vars);
         print_truth_table_recursive(
             &result,
             input_parsed