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

git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6113 3260e6d1-4efc-4170-b0a7-36055960796d

This commit is contained in:
Jürgen Doser 2007-02-09 13:51:04 +00:00
parent 47e8852dcb
commit c67871b823
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/codegen/gcg_core.sml
View File

@ -106,7 +106,7 @@ fun write env (Tpl_Parser.RootNode(l)) = List.app (write env)
then writeThen env l
else case (List.last l) of nd as (Tpl_Parser.ElseNode(_)) => write env nd
| _ => ())
handle ex => () (* ignore failed/unknown predicates *)
handle ex => error ("in GCG_Core.write: problem in IfNode "^cond)
end
| write env (Tpl_Parser.ElseNode(l)) = List.app (write env) l
| write env (Tpl_Parser.ForEachNode(listType,children))=