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

process_depends bug fixed 

git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7892 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
Manuel Krucker 2008-05-07 07:19:56 +00:00
parent 92145daf85
commit 778a140064
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -477,7 +477,7 @@ fun check_wfc model (wfc_sel as WFCPOG.WFPO{identifier,name,description,recommen
val (wfs,pos) = process_depends depends data model ([],[])
val _ = trace wgen ("Dependencies processed ...\n")
in
(List.all (fn a => a = true) wfs)
(List.all (fn a => a = true) (wfs@[a wfc_sel model]))
end
| x => raise WFCPOG_RegistryError ("A assumed wfc " ^ (name_of wfc_sel) ^ " is not a wfc!\n")
val _ = trace function_ends ("WFCPOG_Registry.check_wfc\n")