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

This commit is contained in:
Manuel Krucker 2008-05-10 10:23:41 +00:00
parent 29e59315cf
commit 951257917b
1 changed files with 2 additions and 2 deletions

View File

@ -1166,13 +1166,13 @@ fun type_of_path ["Integer"] (model:transform_model) = Integer
end
else
let
val cl = class_of_design_model [set] model
val cl = class_of [set] model
in
type_of cl
end
| type_of_path (list:Path) (model:transform_model) =
let
val cl = class_of_design_model list model
val cl = class_of list model
in
type_of cl
end