Improve variability check (#7361)

OpenModelica · Apr 7, 2021 · 19b68a5 · 19b68a5
1 parent 126776f
commit 19b68a5
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/OMCompiler/Compiler/NFFrontEnd/NFTyping.mo b/OMCompiler/Compiler/NFFrontEnd/NFTyping.mo
@@ -880,6 +880,7 @@ algorithm
 
         if Binding.isTyped(c.binding) then
           c.binding := TypeCheck.matchBinding(c.binding, c.ty, InstNode.name(component), node);
+          checkComponentBindingVariability(InstNode.name(component), c, c.binding, context);
         end if;
 
         if Binding.isBound(c.condition) then