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 076da29..1051bf5 100644 --- a/frontend/checkgenerics.icl +++ b/frontend/checkgenerics.icl @@ -1,6 +1,6 @@ implementation module checkgenerics -import syntax,checksupport,checktypes,genericsupport,StdCompare +import syntax,checksupport,checktypes,genericsupport,compare_types checkGenericDefs :: !Index !(Optional (CopiedDefinitions, Int)) !*{#GenericDef} !*{#CheckedTypeDef} !*{#ClassDef} !*{#DclModule} !*Heaps !*CheckState |