Re: Fix minisat for clang 6

2018-04-11 Thread Edd Barrett
On Wed, Apr 11, 2018 at 03:28:36PM +0100, Stuart Henderson wrote: > I wonder if anyone actually bothered looking at existing code when they > started requiring spaces for these... Thanks. I reckon this particular error should have been a warning. -- Best Regards Edd Barrett http://www.theunixz

Re: Fix minisat for clang 6

2018-04-11 Thread Stuart Henderson
On 2018/04/11 15:21, Edd Barrett wrote: > Here's the fix for minisat and clang 6. > > OK? OK. I wonder if anyone actually bothered looking at existing code when they started requiring spaces for these... > Index: patches/patch-minisat_core_Solver_cc > ==