HOL-OCL
/
su4sml
1
0
Fork 0
Code Issues Pull Requests Releases Activity

set data adjusted 

git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7935 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
Manuel Krucker 2008-05-09 14:42:28 +00:00
parent 8f9d1dc99d
commit efbad20313
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
su4sml/src/wfcpog/wfcpog_registry.sml
View File

@ -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