Fixing Jenkins error in spicemanager.h, double namespace qualification

This commit is contained in:
Anton Arbring
2015-04-10 18:52:20 -04:00
parent 7c7919a575
commit b95b7d9bb8
+2 -2
View File
@@ -85,7 +85,7 @@ public:
* \param filePath The path to the kernel that should be examined
* \return true if the operation was successful
*/
bool SpiceManager::findCkCoverage(std::string& path);
bool findCkCoverage(std::string& path);
/**
* Function to find and store the intervals covered by a spk file, this is done
@@ -95,7 +95,7 @@ public:
* \param filePath The path to the kernel that should be examined
* \return true if the operation was successful
*/
bool SpiceManager::findSpkCoverage(std::string& path);
bool findSpkCoverage(std::string& path);
/**
* \return true if SPK kernels have been loaded to cover <code>target</code>