Removed mkbinding

git-svn-id: https://openmodelica.org/svn/OpenModelica/trunk@307 f25d12d1-65f4-0310-ae8a-bbce733d8d8e
OpenModelica · Jul 1, 1998 · b3f81d8 · b3f81d8
1 parent 71f9895
commit b3f81d8
Showing 1 changed file with 1 addition and 9 deletions.
diff --git a/modeq/lookup.rml b/modeq/lookup.rml
@@ -164,8 +164,7 @@ relation lookup_in_var: (Types.Type, Exp.ComponentRef)
 
 	(* FIXME: Should I really strip the ArrayDim? *)
   rule  Types.lookup_component(ty, id)
-	  => (Types.VAR(_,Absyn.ATTR(ad,fl,vt,di),ty',eqexp)) &
-	mkbinding eqexp => binding &
+	  => (Types.VAR(_,Absyn.ATTR(ad,fl,vt,di),ty',binding)) &
 	check_subscripts(ad, ss) => dim
 	------------------------
 	lookup_in_var(ty, Exp.CREF_IDENT(id,ss))
@@ -198,13 +197,6 @@ relation lookup_var_f : ((SCode.Ident * Env.FrameVar) list,
 	----------------------------------
 	lookup_var_f(f,Exp.CREF_QUAL(id,ss,ids)) => (attr,ty,binding)
 
-end
-(**)
-relation mkbinding : Absyn.Exp option => Env.Binding =
-
-  axiom	mkbinding NONE => Env.UNBOUND
-  axiom	mkbinding SOME(e) => Env.EQBOUND(e)
-
 end
 
 (**