X-Git-Url: https://gitweb.michael.orlitzky.com/?p=dunshire.git;a=blobdiff_plain;f=dunshire%2Foptions.py;h=a66abb7bc626f9793ec21b622b3b719ad5aa38cc;hp=9b3ddc37616360c5f60b964c26f8acfe393e1d26;hb=0274de467062ab29d2a41d2a91ec0b28fcd95c8d;hpb=8e261aea0119c04752bbb5925b4f4513f928271b

diff --git a/dunshire/options.py b/dunshire/options.py
index 9b3ddc3..a66abb7 100644
--- a/dunshire/options.py
+++ b/dunshire/options.py
@@ -18,7 +18,7 @@ philosophers.
 DEBUG_FLOAT_FORMAT = '%.20f'
 """
 The float output format to use when something goes wrong. If we need to
-produce a random test case, for example, then we need all of the digits
+reproduce a random test case, for example, then we need all of the digits
 of the things involved. If we try to recreate the problem using only,
 say, the first seven digits of each number, then the resulting game
 might not reproduce the failure.
@@ -26,7 +26,5 @@ might not reproduce the failure.
 
 FLOAT_FORMAT = '%.7f'
 """
-The default output format for floating point numbers. It has been
-chosen to match the ``ABS_TOL``, in the sense that if ``x != y``,
-then they would not appear different when printed.
+The default output format for floating point numbers.
 """