Skip to content

Commit

Permalink
Merge pull request #6 from rust-lang-nursery/ndm-kill-cc
Browse files Browse the repository at this point in the history 
remove support for congruence closure computation
  • Loading branch information
@nikomatsakis
nikomatsakis authored Feb 9, 2018
2 parents 2e390b4 + d0a8975 commit 52cd081
Show file tree
Hide file tree
Showing 5 changed files with 8 additions and 1,001 deletions.
Loading

0 comments on commit 52cd081

Please sign in to comment.