From e5202a9f04107fd279b7e94c8a8fcfbf8c588c78 Mon Sep 17 00:00:00 2001 From: Manuel Krucker Date: Thu, 8 May 2008 09:27:56 +0000 Subject: [PATCH] git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7918 3260e6d1-4efc-4170-b0a7-36055960796d --- su4sml/src/wfcpog/refine_constraint.sml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/su4sml/src/wfcpog/refine_constraint.sml b/su4sml/src/wfcpog/refine_constraint.sml index cd4d14a..a3e37cf 100644 --- a/su4sml/src/wfcpog/refine_constraint.sml +++ b/su4sml/src/wfcpog/refine_constraint.sml @@ -297,7 +297,7 @@ fun get_holocl_operation var_name oper class model = val _ = trace function_calls ("WFCPOG_Refine_Constraint.get_holocl_operation\n") (** use Rep_Encoder to get operation as HOL-OCL-Term **) (* val term = Rep_Encoder. .... *) - val hol_name = mk_def_of ((name_of class)@[(name_of_op oper)]) + val hol_name = (name_of class)@[(name_of_op oper)] val args = List.map (fn (a,b) => (Variable(a,b),b)) (arguments_of_op oper) val typ = type_of class val predicate = Predicate(Variable(var_name,typ),typ,hol_name,args)