Definition of l_True in glueminisat is recovered to macro

glueminisat/core/SolverTypes.h

@@ -84,9 +84,11 @@ const Lit lit_Error = { -1 };  // }
 //       does enough constant propagation to produce sensible code, and this appears to be somewhat
 //       fragile unfortunately.
 
-//#define l_True  (lbool((uint8_t)0)) // gcc does not do constant propagation if these are real constants.
-//#define l_False (lbool((uint8_t)1))
-//#define l_Undef (lbool((uint8_t)2))
+#ifndef l_True
+#define l_True  (lbool((uint8_t)0)) // gcc does not do constant propagation if these are real constants.
+#define l_False (lbool((uint8_t)1))
+#define l_Undef (lbool((uint8_t)2))
+#endif
 
 class lbool {
     uint8_t value;
@@ -115,9 +117,9 @@ public:
     friend lbool toLbool(int   v);
 };
 
-const lbool l_True  = (GlueMiniSat::lbool((uint8_t)0)); // gcc does not do constant propagation if these are real constants.
-const lbool l_False = (GlueMiniSat::lbool((uint8_t)1));
-const lbool l_Undef = (GlueMiniSat::lbool((uint8_t)2));
+//const lbool l_True  = (GlueMiniSat::lbool((uint8_t)0)); // gcc does not do constant propagation if these are real constants.
+//const lbool l_False = (GlueMiniSat::lbool((uint8_t)1));
+//const lbool l_Undef = (GlueMiniSat::lbool((uint8_t)2));
 
 inline int   toInt  (lbool l) { return l.value; }
 inline lbool toLbool(int   v) { return lbool((uint8_t)v);  }