/*--------------------------------------------------
 header file for function get_double_at
   created by smtuttle at Thu Dec  2 14:28:07 PST 2010
--------------------------------------------------*/
#ifndef get_double_at_H
#define get_double_at_H

#include <string>
using namespace std;

double get_double_at(double* dbl_ptr);

#endif