# include "getstar.h"

int write_catalog (Catalog *catalog) {    

  /* write out the selected stars */
  // XXX need to set the catalog boundaries by hand? RA0-RA1, DEC0-DEC1
  dvo_catalog_save   (catalog, VERBOSE);
  dvo_catalog_unlock (catalog);
  dvo_catalog_free   (catalog);
  fprintf (stderr, "SUCCESS\n");
  exit (0);
}
