#ifndef MTIME_HH #define MTIME_HH #include "real.hh" typedef Real Mtime; #endif MTIME_HH