Ticket #109: flint-maybe-fix-base-recovery.patch
File flint-maybe-fix-base-recovery.patch, 486 bytes (added by , 18 years ago) |
---|
-
backends/flint/flint_table.cc
1247 1247 } 1248 1248 1249 1249 // 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]); 1251 1251 if (!base_ok[0] && !base_ok[1]) { 1252 1252 string message = "Error opening table `"; 1253 1253 message += name;