Index: branches/BNC_2.12/src/bncephuser.cpp
===================================================================
--- branches/BNC_2.12/src/bncephuser.cpp	(revision 8312)
+++ branches/BNC_2.12/src/bncephuser.cpp	(revision 8318)
@@ -153,10 +153,4 @@
 
   const t_eph* ephOld = ephLast(prn);
-
-  if (ephOld &&
-      (ephOld->checkState() == t_eph::bad ||
-       ephOld->checkState() == t_eph::outdated)) {
-    ephOld = 0;
-  }
 
   if ((ephOld == 0 || newEph->isNewerThan(ephOld)) &&
@@ -205,5 +199,5 @@
   const double MINDIST = 2.e7;
   const double MAXDIST = 6.e7;
-  if (rr < MINDIST || rr > MAXDIST || isnan(rr)) {
+  if (rr < MINDIST || rr > MAXDIST || std::isnan(rr)) {
     eph->setCheckState(t_eph::bad);
     return;