תוספות על סנהדרין יח

והא תנן מלך לא דן ולא דנין אותו וכו'. וא"ת ולוקי מתניתין דתני מלך לא דן ולא דנין אותו במלכי ישראל ומתניתין דתני מעיד למלך דמשמע דדנין אותו במלכי בית דוד דאמר לקמן (סנהדרין דף יט.) דדן ודנין אותו וי"ל דכולה מתניתין מסתמא איירי במלכי ישראל דומיא דמלך לא דן ולא דנין אותו: