Ticket #109: flint-maybe-fix-base-recovery.patch

File flint-maybe-fix-base-recovery.patch, 486 bytes (added by Olly Betts, 17 years ago)

Possible fix

  • backends/flint/flint_table.cc

     
    12471247        }
    12481248
    12491249        // FIXME: assumption that there are only two bases
    1250         if (base_ok[0] && base_ok[1]) both_bases = true;
     1250        both_bases = (base_ok[0] && base_ok[1]);
    12511251        if (!base_ok[0] && !base_ok[1]) {
    12521252            string message = "Error opening table `";
    12531253            message += name;