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

#include "theory/arith/theory_arith.h"

namespace CVC4 {
  namespace theory {
    namespace arith {
      typedef TheoryArith TheoryARITH;
    }
  }
}
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback