GaloisInc/what4
1
1
Fork 0
mirror of https://github.com/GaloisInc/what4.git synced 2024-12-01 20:23:10 +03:00
Code Issues Projects Releases Wiki Activity

Remove extra space in config value setting range errors.

Browse Source
This commit is contained in:
Kevin Quick 2021-04-28 08:09:59 -07:00
parent 800ff567de
commit e8666ca850
No known key found for this signature in database
GPG Key ID: E6D7733599CC0A21
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
what4/src/What4/Config.hs
View File

@ -438,7 +438,7 @@ realWithRangeOptSty lo hi = realOptSty & set_opt_onset vf
vf _ (ConcreteReal x)
| checkBound lo hi x = return optOK
| otherwise = return $ optErr $
prettyRational x <+> "out of range, expected real value in "
prettyRational x <+> "out of range, expected real value in"
<+> docInterval lo hi
-- | Option style for real-valued options with a lower bound
@ -458,7 +458,7 @@ integerWithRangeOptSty lo hi = integerOptSty & set_opt_onset vf
vf _ (ConcreteInteger x)
| checkBound lo hi x = return optOK
| otherwise = return $ optErr $
pretty x <+> "out of range, expected integer value in "
pretty x <+> "out of range, expected integer value in"
<+> docInterval lo hi
-- | Option style for integer-valued options with a lower bound