diff options
Diffstat (limited to 'lib-src/profile.c')
| -rw-r--r-- | lib-src/profile.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib-src/profile.c b/lib-src/profile.c index 9ce9993f4b1..086d8cc3e9d 100644 --- a/lib-src/profile.c +++ b/lib-src/profile.c | |||
| @@ -38,7 +38,7 @@ static char time_string[30]; | |||
| 38 | 38 | ||
| 39 | /* Reset the stopwatch to zero. */ | 39 | /* Reset the stopwatch to zero. */ |
| 40 | 40 | ||
| 41 | void | 41 | static void |
| 42 | reset_watch (void) | 42 | reset_watch (void) |
| 43 | { | 43 | { |
| 44 | EMACS_GET_TIME (TV1); | 44 | EMACS_GET_TIME (TV1); |
| @@ -49,7 +49,7 @@ reset_watch (void) | |||
| 49 | is returned as a string with the format <seconds>.<micro-seconds> | 49 | is returned as a string with the format <seconds>.<micro-seconds> |
| 50 | If reset_watch was not called yet, exit. */ | 50 | If reset_watch was not called yet, exit. */ |
| 51 | 51 | ||
| 52 | char * | 52 | static char * |
| 53 | get_time (void) | 53 | get_time (void) |
| 54 | { | 54 | { |
| 55 | if (watch_not_started) | 55 | if (watch_not_started) |