fill_db_return_implies: delete the correct table
[smatch.git] / smatch_data / kernel.paholes.remove
blob8a1853694219e78d190ddb925f1ab5d5b19ab528
1 mcontroller