@@ -33,7 +33,7 @@ help =
3333 ([":doc"], NameArg, "Show internal documentation"),
3434 ([":mkdoc"], NamespaceArg, "Generate IdrisDoc for namespace(s) and dependencies"),
3535 ([":apropos"], NoArg, "Search names, types, and documentation"),
36− ([":search", ":s"], ExprArg, "Search for values by type")
36+ ([":search", ":s"], ExprArg, "Search for values by type"),
3737 ([":whocalls", ":wc"], NameArg, "List the callers of some name"),
3838 ([":callswho", ":cw"], NameArg, "List the callees of some name"),
3939 ([":total"], NameArg, "Check the totality of a name"),