Replace a unicode character which doxygen cannot handle.

Merging without review, as this is an editorial fix in a comment.

diff --git a/src/core/or/circuitpadding.h b/src/core/or/circuitpadding.h
index e9eb32c6189c1c3206e7332f1e4deea8dc35ecf5..683ac95de7ca2212ef3f4de3647176215d0d7aca 100644 (file)
--- 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;