[tor-commits] [tor/master] Replace a unicode character which doxygen cannot handle.

[nickm at torproject.org]

commit 9201bbd96ce15889ddd7ccef8492cd22e2d26634
Author: Nick Mathewson <nickm at torproject.org>
Date:   Mon Oct 14 14:05:50 2019 -0400

    Replace a unicode character which doxygen cannot handle.
    
    Merging without review, as this is an editorial fix in a comment.
---
 src/core/or/circuitpadding.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/core/or/circuitpadding.h b/src/core/or/circuitpadding.h
index e9eb32c61..683ac95de 100644
--- a/src/core/or/circuitpadding.h
+++ b/src/core/or/circuitpadding.h
@@ -301,7 +301,7 @@ typedef struct circpad_state_t {
    *         |    |    |     |     |         |               |
    *         |    |    |     |     |         |               |
    *       0 +----+----+-----+-----+---------+---------------+
-   *         0   100  200   350   500      1000              ∞  microseconds
+   *         0   100  200   350   500      1000             inf  microseconds
    *
    * would be specified the following way:
    *    histogram_len = 6;