diff options
| author | Patrick Walton <pcwalton@mimiga.net> | 2012-10-04 11:02:53 -0700 |
|---|---|---|
| committer | Patrick Walton <pcwalton@mimiga.net> | 2012-10-04 15:28:10 -0700 |
| commit | 994c47d22b0a3603978d4b6dcb8ffed72e65ac9a (patch) | |
| tree | 6939083c1dd3a6cf070a92214573c95cdd1f1833 /src/servo/util/time.rs | |
| parent | e105f3b5571f0cbfae3fc6a96938d4d039bb660d (diff) | |
| download | servo-994c47d22b0a3603978d4b6dcb8ffed72e65ac9a.tar.gz servo-994c47d22b0a3603978d4b6dcb8ffed72e65ac9a.zip | |
Update for language changes; remove pipe protocols.
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(); |