From 4803aa51760800982f60264d4d331e4bdb10d2e8 Mon Sep 17 00:00:00 2001
From: Enea Zaffanella <enea.zaffanella@unipr.it>
Date: Tue, 4 Aug 2026 19:20:45 +0200
Subject: [PATCH] Reset _sorted flag after projecting dimensions in newpolka
 (zeroing some generator columns may break their sortedness). The bug (an
 assertion failure) could be observed when running test ap_ppl_test in
 debugging mode.

---
 newpolka/pk_project.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/newpolka/pk_project.c b/newpolka/pk_project.c
index 9da508a..036def9 100644
--- a/newpolka/pk_project.c
+++ b/newpolka/pk_project.c
@@ -78,6 +78,7 @@ void poly_projectforget_array(bool project,
 	numint_set_int(mat->p[i][pk->dec+tdim[j]],0);
       }
       pk_matrix_normalize_row(pk,mat,(size_t)i);
+      mat->_sorted = false;
     }
     po->status = 0;
     if (!lazy){