I want to synchronize my model in mysql workbench
and I get this error:
Fetching table list. 0 items from dbEnter OK Fetching view list. 0 items from dbEnter OK Fetching routine list. Operation failed: Table 'proc' is marked as crashed and should be repaired