From efbad203139df7dff4a6a34001447538dea0549d Mon Sep 17 00:00:00 2001 From: Manuel Krucker Date: Fri, 9 May 2008 14:42:28 +0000 Subject: [PATCH] set data adjusted git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7935 3260e6d1-4efc-4170-b0a7-36055960796d --- su4sml/src/wfcpog/wfcpog_registry.sml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/su4sml/src/wfcpog/wfcpog_registry.sml b/su4sml/src/wfcpog/wfcpog_registry.sml index 9649c45..2815ea3 100644 --- a/su4sml/src/wfcpog/wfcpog_registry.sml +++ b/su4sml/src/wfcpog/wfcpog_registry.sml @@ -460,7 +460,7 @@ fun check_wfcs model wfcs = then [(check_wfc model a)] else let - val depending_wfpos = List.map (set_data (get_wfpo supported)) depends + val depending_wfpos = List.map (fn m => (set_data data (get_wfpo supported m))) depends val depending_wfcs = List.filter (fn b => case (WFCPOG.apply_of b) of WFCPOG.WFC(x) => true @@ -501,7 +501,7 @@ fun generate_pos model pos = then [(generate_po model a)] else let - val depending_wfpos = List.map (set_data (get_wfpo supported)) depends + val depending_wfpos = List.map (fn m => (set_data data (get_wfpo supported m))) depends val depending_wfcs = List.filter (fn b => case (WFCPOG.apply_of b)of WFCPOG.WFC(x) => true