# --- T2-COPYRIGHT-BEGIN ---
# t2/package/*/glpk/hotfix-bool.patch
# Copyright (C) 2026 The T2 SDE Project
# SPDX-License-Identifier: GPL-2.0 or patched project license
# --- T2-COPYRIGHT-END ---

--- glpk-5.0/src/minisat/minisat.h.vanilla	2026-05-26 04:48:44.626164747 +0300
+++ glpk-5.0/src/minisat/minisat.h	2026-05-26 04:48:53.943420128 +0300
@@ -34,7 +34,7 @@
 /*====================================================================*/
 /* Simple types: */
 
-typedef int bool;
+//typedef int bool;
 
 #define true  1
 #define false 0