Index: trunk/BNC/rinex/rnxnavfile.cpp
===================================================================
--- trunk/BNC/rinex/rnxnavfile.cpp	(revision 3746)
+++ trunk/BNC/rinex/rnxnavfile.cpp	(revision 3747)
@@ -101,4 +101,9 @@
 ////////////////////////////////////////////////////////////////////////////
 t_rnxNavFile::~t_rnxNavFile() {
+  while (!_ephs.empty()) {
+    t_eph* eph = _ephs.front();
+    _ephs.pop();
+    delete eph;
+  }
 }