diff options
Diffstat (limited to 'backend')
| -rw-r--r-- | backend/backendconvert.icl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/backend/backendconvert.icl b/backend/backendconvert.icl index c0ccef5..2e7a0ea 100644 --- a/backend/backendconvert.icl +++ b/backend/backendconvert.icl @@ -1399,7 +1399,7 @@ convertAttribution TA_Anonymous convertAttribution (TA_Var attrVar) = convertAttributeVar attrVar convertAttribution (TA_RootVar attrVar) - = PA_BUG (return BENoUniAttr) (convertAttributeVar attrVar) + = convertAttributeVar attrVar convertAttribution TA_MultiOfPropagatingConsVar = return BENoUniAttr // FIXME |