Skip to content

Commit

Permalink
update CHANGES.md
Browse files Browse the repository at this point in the history
  • Loading branch information
swannodette committed Dec 29, 2012
1 parent ef437d6 commit 8d83195
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions CHANGES.md
Expand Up @@ -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
Expand Down

0 comments on commit 8d83195

Please sign in to comment.