summaryrefslogtreecommitdiff
path: root/src/theory/booleans/theory_def.h
blob: 37aacb353326774dce82445a0c309403c1f518be (plain) 
1
2
3
4
5
6
7
8
9

#include "theory/booleans/theory_bool.h"

namespace CVC4 {
  namespace theory {
    namespace booleans {
      typedef TheoryBool TheoryBOOLEANS;
    }
  }
}
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback