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 741aa69..489ccb1 100644 --- a/frontend/comparedefimp.icl +++ b/frontend/comparedefimp.icl @@ -551,7 +551,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) - = SwitchUniquenessBug (return True) (t_corresponds dclDef iclDef) + = PA_BUG (return True) (t_corresponds dclDef iclDef) t_corresponds _ TA_Anonymous = return True t_corresponds TA_None icl |