summaryrefslogtreecommitdiff
path: root/src/util/emptyset.cpp
blob: fa1bb8f101453309b2fe7208b1b7ea46c2e5f43d (plain) 
1
2
3
4
5
6
7
8
9
10
11
12

#include "util/emptyset.h"
#include <iostream>

using namespace std;

namespace CVC4 {

std::ostream& operator<<(std::ostream& out, const EmptySet& asa) {
  return out << "emptyset(" << asa.getType() << ')';
}

}/* CVC4 namespace */
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback