From 19df6660bd62dd35ab0c8acfd55346f457652fd9 Mon Sep 17 00:00:00 2001
From: johnvg
Date: Fri, 8 Apr 2005 14:46:05 +0000
Subject: fix specified type

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

(limited to 'frontend')

diff --git a/frontend/trans.icl b/frontend/trans.icl
index 6e52c46..465c65f 100644
--- a/frontend/trans.icl
+++ b/frontend/trans.icl
@@ -3705,7 +3705,7 @@ where
 			= (fun_defs, imported_types, collected_imports, [fun_index : fun_indices_with_abs_syn_types], type_heaps, var_heap)
 			= (fun_defs, imported_types, collected_imports, fun_indices_with_abs_syn_types, type_heaps, var_heap)
 
-	expand_abstract_syn_types_in_function_type :: !{#.CommonDefs} !.Int !*(!*{#u:FunDef},!*{#{#.(TypeDef .TypeRhs)}},![(Global .Int)],!*TypeHeaps,!*(Heap VarInfo)) -> (!{#v:FunDef},!.{#{#(TypeDef .TypeRhs)}},![(Global Int)],!.TypeHeaps,!.(Heap VarInfo)), [u <= v]
+	expand_abstract_syn_types_in_function_type :: !{#.CommonDefs} !.Int !*(!*{#FunDef},!*{#{#.(TypeDef .TypeRhs)}},![(Global .Int)],!*TypeHeaps,!*(Heap VarInfo)) -> (!*{#FunDef},!.{#{#(TypeDef .TypeRhs)}},![(Global Int)],!.TypeHeaps,!.(Heap VarInfo))
 	expand_abstract_syn_types_in_function_type common_defs fun_index (fun_defs, imported_types, collected_imports, type_heaps, var_heap)
 		# (fun_def=:{fun_type = Yes fun_type, fun_info = {fi_properties}}, fun_defs)
 					= fun_defs![fun_index]
-- 
cgit v1.2.3