diff --git a/CHANGES.md b/CHANGES.md index 56bf9834..ce4cdeeb 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -17,6 +17,7 @@ Enhancments Bug Fixes ---- +* LOGIC-59: tabled goals reset between runs * many bad interactions between unification, FD constraints and disequality resolved * LOGIC-77: failing CLP(FD) case where logic vars are aliased * LOGIC-81: constraint store needs substitutions to find root vars