diff options
Diffstat (limited to 'src/servo/util/time.rs')
| -rw-r--r-- | src/servo/util/time.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/servo/util/time.rs b/src/servo/util/time.rs index 09a06966b50..975d7639055 100644 --- a/src/servo/util/time.rs +++ b/src/servo/util/time.rs @@ -1,7 +1,7 @@ // Timing functions. use std::time::precise_time_ns; -fn time(msg: ~str, callback: fn()) { +pub fn time(msg: ~str, callback: fn()) { let start_time = precise_time_ns(); callback(); let end_time = precise_time_ns(); |