rename proof to prover

potassco · Aug 21, 2024 · f0c2054 · f0c2054
1 parent f1fee20
commit f0c2054
Show file tree

Hide file tree

Showing 4 changed files with 3 additions and 3 deletions.
diff --git a/src/command_line/procedures.rs b/src/command_line/procedures.rs
@@ -8,7 +8,7 @@ use {
         syntax_tree::{asp, fol, Node as _},
         translating::{completion::completion, gamma::gamma, tau_star::tau_star},
         verifying::{
-            proof::{vampire::Vampire, Prover, Report, Status, Success},
+            prover::{vampire::Vampire, Prover, Report, Status, Success},
             task::{
                 external_equivalence::ExternalEquivalenceTask,
                 strong_equivalence::StrongEquivalenceTask, Task,

diff --git a/src/verifying/mod.rs b/src/verifying/mod.rs
@@ -1,4 +1,4 @@
 pub mod outline;
 pub mod problem;
-pub mod proof;
+pub mod prover;
 pub mod task;
diff --git a/src/verifying/proof/mod.rs → src/verifying/prover/mod.rs b/src/verifying/proof/mod.rs → src/verifying/prover/mod.rs
diff --git a/src/verifying/proof/vampire.rs → src/verifying/prover/vampire.rs b/src/verifying/proof/vampire.rs → src/verifying/prover/vampire.rs
@@ -1,7 +1,7 @@
 use {
     crate::verifying::{
         problem::Problem,
-        proof::{Prover, Report, Status, StatusExtractionError},
+        prover::{Prover, Report, Status, StatusExtractionError},
     },
     std::{
         fmt::{self, Display},