summaryrefslogtreecommitdiff
path: root/src/theory/uf/theory_def.h
blob: 8e3f5e9f19c785e16d3c2d897b9730c4ab04d7ce (plain) 
1
2
3
4
5
6
7

namespace CVC4 {
  namespace theory {
    namespace uf {
      class TheoryUF;
    }
  }
}
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback