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 47a12d7..41bf4e7 100644 --- a/frontend/comparedefimp.icl +++ b/frontend/comparedefimp.icl @@ -505,7 +505,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) - = t_corresponds dclDef iclDef + = SwitchUniquenessBug (return True) (t_corresponds dclDef iclDef) t_corresponds _ TA_Anonymous = return True t_corresponds TA_None icl |