GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-17 21:11:35 +03:00
Code Issues Projects Releases Wiki Activity

Fix a display bug in the :help command

Browse Source 
Don't try to figure out when parens are needed on operators
This commit is contained in:
Trevor Elliott 2015-09-27 19:39:33 -05:00
parent 8bcefbe4dd
commit 5cb9280530
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Cryptol/REPL/Command.hs
View File

@ -700,7 +700,7 @@ helpCmd cmd
rPrint $ runDoc nameEnv
$ nest 4
$ property
<+> optParens ifDeclInfix (pp qname)
<+> pp qname
<+> colon
<+> pp (ifDeclSig)