diff options
Diffstat (limited to 'frontend/checksupport.icl')
| -rw-r--r-- | frontend/checksupport.icl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontend/checksupport.icl b/frontend/checksupport.icl index 7eb91eb..13b3ef0 100644 --- a/frontend/checksupport.icl +++ b/frontend/checksupport.icl @@ -75,7 +75,7 @@ where , dcls_local_for_import ::!{!Declaration} } -:: ExplImpInfos :== {!{!.ExplImpInfo}} +:: *ExplImpInfos :== *{!*{!*ExplImpInfo}} :: ExplImpInfo = ExplImpInfo Ident !.DeclaringModulesSet |