From 0fefeed5828ee0b70d40e75902480549726a7642 Mon Sep 17 00:00:00 2001 From: Manuel Krucker Date: Tue, 13 May 2008 12:03:39 +0000 Subject: [PATCH] logging string added class_of git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7965 3260e6d1-4efc-4170-b0a7-36055960796d --- su4sml/src/rep_core.sml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/su4sml/src/rep_core.sml b/su4sml/src/rep_core.sml index 314595a..38d90ba 100644 --- a/su4sml/src/rep_core.sml +++ b/su4sml/src/rep_core.sml @@ -1084,7 +1084,7 @@ fun class_of_design_model path (model as (clist,alist)) = val _ = trace rep_core ("path of class = " ^ (String.concat (path)) ^ "\n") in if (List.hd (path) = "holOclLib") - then raise HOLOCL_ClassifierError ("You try to access an HOLOCL Classifier which is not part of the model.\n") + then raise HOLOCL_ClassifierError ("You try to access an HOLOCL Classifier "^(string_of_path path) ^" which is not part of the model.\n") else case (List.find (fn a => (type_of a) = Classifier (path)) clist) of NONE => raise GetClassifierError (String.concat path)