From 598f364de0a809747714294326a0193788e0bdfb Mon Sep 17 00:00:00 2001 From: Richard Qin Date: Tue, 7 Apr 2026 03:59:58 +0800 Subject: refactor: rename struct members to follow trailing underscore naming convention across core, search, and frontend components --- proofsearch/include/atp/infer/unification.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'proofsearch/include/atp/infer') diff --git a/proofsearch/include/atp/infer/unification.h b/proofsearch/include/atp/infer/unification.h index 9a4b6cc..870be66 100644 --- a/proofsearch/include/atp/infer/unification.h +++ b/proofsearch/include/atp/infer/unification.h @@ -28,7 +28,7 @@ namespace atp { /// Configuration for the unification algorithm. struct UnificationConfig { - bool enable_occurs_check = false; ///< Set true for sound but slower unification + bool enable_occurs_check_ = false; ///< Set true for sound but slower unification }; /// Attempt to unify two terms, producing a most general unifier. -- cgit v1.2.3