From 5ab3efd522cf0221481684b5bbc9c2ac6bfc9919 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 --- include/atp/infer/unification.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'include/atp/infer') diff --git a/include/atp/infer/unification.h b/include/atp/infer/unification.h index 9a4b6cc..870be66 100644 --- a/include/atp/infer/unification.h +++ b/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