read() is OK

Author: jajhall

highs/ipm/ipx/timer.h

@@ -16,6 +16,7 @@ class Timer {
     typedef time_point<high_resolution_clock> TimePoint;
     static TimePoint tic();
     static double toc(TimePoint start);
+    static double read() { return duration_cast<duration<double>>(high_resolution_clock::now().time_since_epoch()).count(); }
     TimePoint t0_;
 public:
     double offset_;