From e9d77320d373864a19ba1155395a3e4d2a9469cc Mon Sep 17 00:00:00 2001
From: ronny
Date: Thu, 12 Jul 2001 15:27:32 +0000
Subject: uniqueness attributes in backend

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@542 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 backend/Clean System Files/backend_library | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'backend/Clean System Files/backend_library')

diff --git a/backend/Clean System Files/backend_library b/backend/Clean System Files/backend_library
index 6f8e0c7..aa84a37 100644
--- a/backend/Clean System Files/backend_library	
+++ b/backend/Clean System Files/backend_library	
@@ -23,6 +23,12 @@ BENoTypeVars
 BENormalTypeNode
 BEAnnotateTypeNode
 BEAttributeTypeNode
+BEAttributeKind
+BENoAttributeKinds
+BEAttributeKinds
+BEUniVarEquation
+BENoUniVarEquations
+BEUniVarEquationsList
 BENoTypeArgs
 BETypeArgs
 BETypeAlt
-- 
cgit v1.2.3