diff --git a/chb/app/CHVersion.py b/chb/app/CHVersion.py index 17d72569..a8ccbabf 100644 --- a/chb/app/CHVersion.py +++ b/chb/app/CHVersion.py @@ -1 +1 @@ -chbversion: str = "0.3.0-20250808" +chbversion: str = "0.3.0-20250811" diff --git a/chb/astinterface/ASTInterfaceFunction.py b/chb/astinterface/ASTInterfaceFunction.py index 3d2e4a25..0d197c97 100644 --- a/chb/astinterface/ASTInterfaceFunction.py +++ b/chb/astinterface/ASTInterfaceFunction.py @@ -405,7 +405,7 @@ def set_return_sequences(self) -> None: else: originalLR = False for inv in instr.invariants: - if str(inv.variable) == "LR" and inv.is_initial_var_equality: + if inv.is_initial_var_equality and str(inv.variable) == "LR": originalLR = True break