Commit 52cd081

authored

Merge pull request #6 from rust-lang-nursery/ndm-kill-cc

remove support for congruence closure computation

2 parents 2e390b4 + d0a8975 commit 52cd081Copy full SHA for 52cd081

5 files changed

+8

-1001

lines changed

src
- cc
  - mod.rs
  - test.rs
- lib.rs
- unify
  - mod.rs
  - tests.rs

5 files changed

+8

-1001

lines changed

Comments

(0)