patch 7.4.1285
Problem: Cannot measure elapsed time.
Solution: Add reltimefloat().
diff --git a/src/proto/ex_cmds2.pro b/src/proto/ex_cmds2.pro
index 54ccf12..a73e10f 100644
--- a/src/proto/ex_cmds2.pro
+++ b/src/proto/ex_cmds2.pro
@@ -14,6 +14,7 @@
void profile_end(proftime_T *tm);
void profile_sub(proftime_T *tm, proftime_T *tm2);
char *profile_msg(proftime_T *tm);
+float_T profile_float(proftime_T *tm);
void profile_setlimit(long msec, proftime_T *tm);
int profile_passed_limit(proftime_T *tm);
void profile_zero(proftime_T *tm);