Remove print in unit proc + new StarExec build

sarsko · Jul 16, 2022 · f78796f · f78796f
1 parent 5515334
commit f78796f
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 1 deletion.
diff --git a/JigSAT/StarExec/bin/jigsat b/JigSAT/StarExec/bin/jigsat
diff --git a/JigSAT/StarExec/jigsat.zip b/JigSAT/StarExec/jigsat.zip
diff --git a/JigSAT/src/unit_prop.rs b/JigSAT/src/unit_prop.rs
@@ -106,7 +106,6 @@ pub(crate) fn unit_propagate(
         match unit_prop_current_level(formula, trail, watches, lit, ticks) {
             Ok(_) => {}
             Err(cref) => {
-                println!("c err");
                 return Err(cref);
             }
         }