diff options
Diffstat (limited to 'frontend/checkgenerics.icl')
| -rw-r--r-- | frontend/checkgenerics.icl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontend/checkgenerics.icl b/frontend/checkgenerics.icl index 1051bf5..c4a05da 100644 --- a/frontend/checkgenerics.icl +++ b/frontend/checkgenerics.icl @@ -1,6 +1,6 @@ implementation module checkgenerics -import syntax,checksupport,checktypes,genericsupport,compare_types +import syntax,checksupport,checktypes,genericsupport,compare_types,typesupport checkGenericDefs :: !Index !(Optional (CopiedDefinitions, Int)) !*{#GenericDef} !*{#CheckedTypeDef} !*{#ClassDef} !*{#DclModule} !*Heaps !*CheckState |