Skip to content

Commit

Permalink
[NB] update bound parameter records (#11930)
Browse files Browse the repository at this point in the history
- only create binding equation if they are actually bound
  • Loading branch information
kabdelhak committed Feb 2, 2024
1 parent 9ae61ad commit 17711b0
Showing 1 changed file with 1 addition and 1 deletion.
Expand Up @@ -332,7 +332,7 @@ public
// parse records slightly different
if BVariable.isKnownRecord(var) then
// only consider non constant parameter bindings
if (BVariable.getBindingVariability(var) > NFPrefixes.Variability.STRUCTURAL_PARAMETER) then
if BVariable.isBound(var) and (BVariable.getBindingVariability(var) > NFPrefixes.Variability.STRUCTURAL_PARAMETER) then
initial_param_vars := listAppend(BVariable.getRecordChildren(var), initial_param_vars);
parameter_eqs := Equation.generateBindingEquation(var, idx, true) :: parameter_eqs;
else
Expand Down

0 comments on commit 17711b0

Please sign in to comment.