id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
4764	Reducing variability from variable to parameter causes underdetermined equation system	christopher.schoelzel@…	Lennart Ochel	"According to the Modelica Spec 3.3 it should be possible to restrict the variability of a variable with a redeclare statement. However, it does not seem that the OpenModelica compiler respects such a change correctly if it transforms a variable into a parameter. According to my understanding the following model should be correct:


{{{
model RedeclareVariability
  model A
    Real a;
  end A;
  model B
    extends A(redeclare parameter Real a = 3);
  end B;
  B foo;
end RedeclareVariability;
}}}


The component foo is of type B and therefore only has one parameter and no variables, so no equation should be needed.

In OpenModelica, however, I get the error message that ""foo.a does not have any remaining equations to be solved in""."	defect	closed	normal	Future	Backend	v1.12.0	worksforme