diff options
Diffstat (limited to 'src/proof/proof_rule.h')
-rw-r--r-- | src/proof/proof_rule.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/proof/proof_rule.h b/src/proof/proof_rule.h index bc2b6437b..7b93e3a55 100644 --- a/src/proof/proof_rule.h +++ b/src/proof/proof_rule.h @@ -840,7 +840,7 @@ enum class PfRule : uint32_t // Arguments: (F) // --------------------------------------------------------------- // Conclusion: F - // where F is an equality of the form t = QuantifiersRewriter::preprocess(t) + // where F is an equality of the form t = QuantifiersPreprocess::preprocess(t) QUANTIFIERS_PREPROCESS, //================================================= String rules |