1 files changed, 2 insertions, 0 deletions
diff --git a/isl_lp.c b/isl_lp.c
index 533f20fc..c6feca46 100644
--- a/isl_lp.c
+++ b/isl_lp.c
@@ -29,6 +29,8 @@ enum isl_lp_result isl_tab_solve_lp(struct isl_basic_map *bmap, int maximize,
 
 	if (maximize)
 		isl_seq_neg(f, f, 1 + dim);
+	if (maximize && opt)
+		isl_int_neg(*opt, *opt);
 
 	return res;
 }