Index: branches/BNC_2.12/src/ephemeris.cpp
===================================================================
--- branches/BNC_2.12/src/ephemeris.cpp	(revision 8005)
+++ branches/BNC_2.12/src/ephemeris.cpp	(revision 8006)
@@ -36,5 +36,8 @@
 ////////////////////////////////////////////////////////////////////////////
 void t_eph::setOrbCorr(const t_orbCorr* orbCorr) {
-  delete _orbCorr;
+  if (_orbCorr) {
+    delete _orbCorr;
+    _orbCorr = 0;
+  }
   _orbCorr = new t_orbCorr(*orbCorr);
 }
@@ -43,5 +46,8 @@
 ////////////////////////////////////////////////////////////////////////////
 void t_eph::setClkCorr(const t_clkCorr* clkCorr) {
-  delete _clkCorr;
+  if (_clkCorr) {
+    delete _clkCorr;
+    _clkCorr = 0;
+  }
   _clkCorr = new t_clkCorr(*clkCorr);
 }