Skip to content

Commit

Permalink
Cut clone
Browse files Browse the repository at this point in the history
  • Loading branch information
nickdrozd committed Jul 10, 2024
1 parent c5360ab commit 7a99a44
Showing 1 changed file with 5 additions and 5 deletions.
10 changes: 5 additions & 5 deletions src/prover.rs
Original file line number Diff line number Diff line change
Expand Up @@ -21,18 +21,18 @@ pub enum ProverResult {
Got(Rule),
}

pub struct Prover {
prog: CompProg,
pub struct Prover<'p> {
prog: &'p CompProg,

rules: BTreeMap<Slot, Vec<(MinSig, Rule)>>,

configs: HashMap<Signature, PastConfigs>,
}

impl Prover {
pub fn new(prog: &CompProg) -> Self {
impl<'p> Prover<'p> {
pub fn new(prog: &'p CompProg) -> Self {
Self {
prog: prog.clone(),
prog,
rules: BTreeMap::new(),
configs: HashMap::new(),
}
Expand Down

0 comments on commit 7a99a44

Please sign in to comment.