aboutsummaryrefslogtreecommitdiff
path: root/backend
diff options
context:
space:
mode:
authorronny2003-06-13 13:39:31 +0000
committerronny2003-06-13 13:39:31 +0000
commitd0c7c1ca3491980e3819aa965f835b56ee5c65d3 (patch)
treeb0a61dbd12a747de7478f7f37cf8080ab74810d8 /backend
parentBug fixs in universally quantified types: Attribute variables of universal ty... (diff)
removed PA bug workaround
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1342 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'backend')
-rw-r--r--backend/backendconvert.icl2
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