From 01766bb8112d4405436875c83eebb9bde54cfc08 Mon Sep 17 00:00:00 2001
From: sjakie
Date: Wed, 3 Oct 2001 15:32:41 +0000
Subject: Bug fixes: overloading error, changed the order of dictionaries

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

(limited to 'frontend')

diff --git a/frontend/check.icl b/frontend/check.icl
index 1a02ac3..46a9f25 100644
--- a/frontend/check.icl
+++ b/frontend/check.icl
@@ -457,7 +457,7 @@ instantiateTypes old_type_vars old_attr_vars types type_contexts attr_env {ss_en
 	  				False
 	  					-> checkError "instance type incompatible with class type" "" error
 
-	= (inst_vars, inst_attr_vars, inst_types, inst_contexts ++ new_ss_context, inst_attr_env, special_subst_list, { type_heaps & th_vars = th_vars }, error)
+	= (inst_vars, inst_attr_vars, inst_types, new_ss_context ++ inst_contexts, inst_attr_env, special_subst_list, { type_heaps & th_vars = th_vars }, error)
 where
 	clear_vars type_vars type_var_heap = foldSt (\tv -> writePtr tv.tv_info_ptr TVI_Empty) type_vars type_var_heap
 	
-- 
cgit v1.2.3