From 9b425cd3500b88b8df5cefbe2db7f6324125adca Mon Sep 17 00:00:00 2001
From: johnvg
Date: Fri, 8 Apr 2005 14:45:37 +0000
Subject: fix uniqueness type of UnqArraySelectFun

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1525 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 frontend/checkFunctionBodies.icl | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'frontend')

diff --git a/frontend/checkFunctionBodies.icl b/frontend/checkFunctionBodies.icl
index 53d1f8c..3c8a856 100644
--- a/frontend/checkFunctionBodies.icl
+++ b/frontend/checkFunctionBodies.icl
@@ -980,7 +980,9 @@ checkExpression free_vars (PE_Selection selector_kind expr [PS_Array index_expr]
 		= case selector_kind of
 			ParsedNormalSelector
 				-> (PD_ArraySelectFun, NormalSelector)
-			ParsedUniqueSelector _
+			ParsedUniqueSelector False
+				-> (PD_UnqArraySelectFun, NormalSelector)
+			ParsedUniqueSelector True
 				-> (PD_UnqArraySelectFun, NormalSelectorUniqueElementResult)
 	# (glob_select_symb, cs) = getPredefinedGlobalSymbol select_fun PD_StdArray STE_Member 2 cs
 	  (selector, free_vars, e_state, e_info, cs) = checkArraySelection glob_select_symb free_vars index_expr e_input e_state e_info cs
-- 
cgit v1.2.3