38 #include "midi_pfits.h"
62 const char * value = cpl_propertylist_get_string(plist,
"ARCFILE");
64 cpl_ensure(value != NULL, cpl_error_get_code(), NULL);
78 cpl_errorstate prestate = cpl_errorstate_get();
79 const double value = cpl_propertylist_get_double(plist,
"ESO DET DIT");
83 cpl_ensure(cpl_errorstate_is_equal(prestate), cpl_error_get_code(), 0.0);