Replace placeholders in definitions

potassco · Aug 22, 2024 · 4a7eee9 · 4a7eee9
1 parent 6adc802
commit 4a7eee9
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/verifying/outline/mod.rs b/src/verifying/outline/mod.rs
@@ -304,6 +304,7 @@ impl ProofOutline {
         let mut backward_definitions = Vec::new();
 
         for anf in specification.formulas {
+            let anf = anf.replace_placeholders(placeholders);
             match anf.role {
                 fol::Role::Lemma | fol::Role::InductiveLemma => {
                     let general_lemma: GeneralLemma = anf