From 5f90beb2f8ba55e13a652db919721ab11578bfa6 Mon Sep 17 00:00:00 2001 From: Levon Saldamli Date: Tue, 21 Jan 2003 15:55:14 +0000 Subject: [PATCH] Changes due to additions for replaceable to SCode.COMPONENT git-svn-id: https://openmodelica.org/svn/OpenModelica/trunk@904 f25d12d1-65f4-0310-ae8a-bbce733d8d8e --- modeq/staticexp.rml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/modeq/staticexp.rml b/modeq/staticexp.rml index 11b387f5cd1..212b175a0b3 100644 --- a/modeq/staticexp.rml +++ b/modeq/staticexp.rml @@ -1342,7 +1342,7 @@ relation fill_default_slots: (Slot list , SCode.Class, Env.Env) => Slot list = fill_default_slots ( SLOT(fa,true,e)::xs,class,env) => SLOT(fa,true,e)::res rule fill_default_slots(xs,class,env) => res & - SCode.get_element_named(id,class) => SCode.COMPONENT(_,_,_,_,_,SCode.MOD(_,_,SOME(dexp))) & + SCode.get_element_named(id,class) => SCode.COMPONENT(_,_,_,_,_,_,SCode.MOD(_,_,SOME(dexp))) & elab_exp (env,dexp,false,NONE) => (exp,Types.PROP(t,c1),_) & Types.match_type(exp,t,tp) => (exp',_) ---------------------------------------------------------------------------------