get rid of prover unused warning

cspr-rad · May 25, 2024 · c3f842b · c3f842b
1 parent 2585f30
commit c3f842b
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/client/src/main.rs b/client/src/main.rs
@@ -1,5 +1,3 @@
-mod prover;
-
 use acropolis::{run, Cli};
 use clap::Parser;
 fn main() {