diff options
| -rw-r--r-- | frontend/generics.icl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontend/generics.icl b/frontend/generics.icl index 95aed23..a5781c1 100644 --- a/frontend/generics.icl +++ b/frontend/generics.icl @@ -3341,7 +3341,7 @@ where build_gen_expr _ heaps = buildGenericApp generic_module generic_def_sym KindConst [] heaps -buildKindConstInstance1 :: !DefinedSymbol !Int !Index !DefinedSymbol [!TypeKind] !GenericState +buildKindConstInstance1 :: !DefinedSymbol !Int !Index !DefinedSymbol ![TypeKind] !GenericState -> (!FunDef, !*GenericState) buildKindConstInstance1 def_sym group_index |