1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-09 22:24:09 +03:00

fixes for wsrep-5.5 merges

This commit is contained in:
Seppo Jaakola
2013-11-27 22:20:32 +02:00
parent 447b19a3bf
commit 45f484b838

View File

@@ -424,8 +424,8 @@ int wsrep_thd_is_brute_force(void *thd_ptr)
case TOTAL_ORDER: return 2;
case LOCAL_COMMIT: return 3;
}
DBUG_ASSERT(0);
}
DBUG_ASSERT(0);
return 0;
}