diff options
| -rw-r--r-- | backendC/CleanCompilerSources/typeconv_2.c | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/backendC/CleanCompilerSources/typeconv_2.c b/backendC/CleanCompilerSources/typeconv_2.c index 88d0bc8..d63667e 100644 --- a/backendC/CleanCompilerSources/typeconv_2.c +++ b/backendC/CleanCompilerSources/typeconv_2.c @@ -539,10 +539,7 @@ static void PrintNode (TypeNode node, Bool brackets, Bool strict_context, Bool p { TypeNode arg_type_node = node -> type_node_arguments -> type_arg_node; if (brackets) FPutC ('(', StdListTypes); - if ((! arg_type_node -> type_node_is_var) && arg_type_node -> type_node_symbol -> symb_kind == fun_type) - PrintArgument (node -> type_node_arguments, cPrintBrackets, cNotInAStrictContext, cDoPrintAttribute); - else - PrintArgument (node -> type_node_arguments, cDontPrintBrackets, cNotInAStrictContext, cDoPrintAttribute); + PrintArgument (node -> type_node_arguments, cPrintBrackets, cNotInAStrictContext, cDoPrintAttribute); FPutS (" -> ", StdListTypes); PrintArgument (node -> type_node_arguments -> type_arg_next, cDontPrintBrackets, cNotInAStrictContext, cDoPrintAttribute); if (brackets) |