GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-11-13 10:58:23 +03:00
Code Issues Projects Releases Wiki Activity

Use simple language

Browse Source
This commit is contained in:
Iavor Diatchki 2022-07-25 14:05:47 +03:00
parent 9c9d0db38f
commit 180c90f9bb
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/Browse.hs
View File

@ -83,7 +83,7 @@ browseMods disp decls =
browseFunctors :: DispInfo -> IfaceDecls -> [Doc]
browseFunctors disp decls =
ppSection disp "Submodule Functors" ppM (ifFunctors decls)
ppSection disp "Parameterized Submodules" ppM (ifFunctors decls)
where
ppM m = pp (ifModName m)