fix printing of CStr's

2021-12-09 18:15:52 -07:00
parent 520121b2b2
commit 6c66c236fb
2 changed files with 9 additions and 15 deletions
--- a/src/forms.rs
+++ b/src/forms.rs
@@ -833,13 +833,6 @@ impl PredicateSkeleton {
        }
    }

-    #[inline]
-    pub(crate) fn reset(&mut self) {
-        self.core.clause_clause_locs.clear();
-        self.core.clause_assert_margin = 0;
-        self.clauses.clear();
-    }
-
    pub(crate) fn target_pos_of_clause_clause_loc(
        &self,
        clause_clause_loc: usize,