Fix documentation of regression tests (#2290)

diff --git a/test/regress/README.md b/test/regress/README.md
index 772332c3e4286024b79f7dc3ee7896fc39a596a3..e1ac799767ff5f4bec646049abe256cf272e6bbd 100644 (file)
--- a/test/regress/README.md
+++ b/test/regress/README.md
@@ -22,10 +22,10 @@ By default, each invocation of CVC4 is done with a 10 minute timeout. To use a
 different timeout, set the `TEST_TIMEOUT` environment variable:
 
 ```
-TEST_TIMEOUT=0.5s make regress0
+TEST_TIMEOUT=0.5 make regress0
 ```
 
-This runs regression tests from level 0 with a 0,5 second timeout.
+This runs regression tests from level 0 with a 0.5 second timeout.
 
 ## Adding New Regressions