From 951257917bc0ffc895956b490813788aef5015a0 Mon Sep 17 00:00:00 2001
From: Manuel Krucker <mkrucker@ethz.ch>
Date: Sat, 10 May 2008 10:23:41 +0000
Subject: [PATCH] git-svn-id:
 https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7943
 3260e6d1-4efc-4170-b0a7-36055960796d

---
 su4sml/src/rep_core.sml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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