Fix

Author: matthiasgoergens

circ_blocks/src/ir/term/extras.rs

@@ -192,7 +192,7 @@ pub fn dump_op_stats() {
 }
 
 /// Iterator over descendents in child-first order.
-pub struct PostOrderSkipIter<'a, F: Fn(&Term) -> bool + 'a> {
+pub struct PostOrderSkipIter<'a, F: Fn(&Term) -> bool> {
     // (cs stacked, term)
     stack: Vec<(bool, Term)>,
     visited: TermSet,

circ_blocks/third_party/ZoKrates/zokrates_parser/src/lib.rs

@@ -1,6 +1,5 @@
 #![allow(clippy::upper_case_acronyms)] // we allow uppercase acronyms because the pest derive generates WHITESPACE and COMMENT which have special meaning in pest
 
-extern crate pest;
 #[macro_use]
 extern crate pest_derive;