}
for(i=0;i<XGalaxy.nentry;i++)
- if ( XGalaxy.entry[i].mass==0.0 || !isfinite(XGalaxy.entry[i].mass) ) {
+ if ( XGalaxy.entry[i].mass==0.0 || !finite(XGalaxy.entry[i].mass) ) {
GtkWidget *dialog = gtk_message_dialog_new (GTK_WINDOW(XGalaxy.window),
GTK_DIALOG_DESTROY_WITH_PARENT,
GTK_MESSAGE_ERROR,