#include <iostream>
#include "PropComparator.hpp"

using namespace std;
using std::ostream;
using std::cout;

int main() {
  cout << endl;
  cout << endl;
  cout << endl;
  cout << "PropComparator is tested in the ITESTs" << endl;

  return 0;
}