diff options
Diffstat (limited to 'frontend/comparedefimp.icl')
| -rw-r--r-- | frontend/comparedefimp.icl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontend/comparedefimp.icl b/frontend/comparedefimp.icl index 2bc1140..ee91f96 100644 --- a/frontend/comparedefimp.icl +++ b/frontend/comparedefimp.icl @@ -797,7 +797,7 @@ instance t_corresponds TypeAttribute where t_corresponds (TA_Var dclDef) (TA_Var iclDef) = t_corresponds dclDef iclDef t_corresponds (TA_RootVar dclDef) (TA_RootVar iclDef) - = PA_BUG (return True) (t_corresponds dclDef iclDef) + = t_corresponds dclDef iclDef t_corresponds TA_None icl = case icl of TA_Multi-> return True |