diff options
Diffstat (limited to 'include/atp/infer/unification.h')
| -rw-r--r-- | include/atp/infer/unification.h | 2 |
1 files changed, 1 insertions, 1 deletions
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. |