diff --git a/su4sml/src/rep_core.sml b/su4sml/src/rep_core.sml index 588de5f..4a4e523 100644 --- a/su4sml/src/rep_core.sml +++ b/su4sml/src/rep_core.sml @@ -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