From 668095975a713a4a1f7e826a873e922c236da8c2 Mon Sep 17 00:00:00 2001
From: Pierre-Yves Strub <pierre-yves.strub@pqshield.com>
Date: Mon, 30 Mar 2026 13:21:04 +0200
Subject: [PATCH] Fix simplify flag handling in `cfold`

---
 src/phl/ecPhlCodeTx.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/phl/ecPhlCodeTx.ml b/src/phl/ecPhlCodeTx.ml
index 1a938a6fd..5d49a34fc 100644
--- a/src/phl/ecPhlCodeTx.ml
+++ b/src/phl/ecPhlCodeTx.ml
@@ -239,8 +239,8 @@ let cfold_stmt
 
   let e_simplify, i_simplify =
       if   simplify
-      then (identity, identity)
-      else (e_simplify, i_simplify) in
+      then (e_simplify, i_simplify)
+      else (identity, identity) in
 
   (*
      Process one instruction under the current propagated substitution and