נמלים על השיש בשבת, להרוג?

לשטוף השיש עם מים ואתה יודע שהנמלים ימותו אסור, וזה כוונתך שהנמלים ימותו [נמלים אינם מזיקים את האדם], ואסור להרוג אותם, [אפילו על ידי גרמא].

[התירו לזרוק כינים לתוך המים הגם שימותו , בגלל שכינים לא פרים ורבים ונהוין מזכר ונקיבה] (שו"ע אדה"ז סימן שט"ז סעיף כ')

בשו"ת מנחת יצחק [חלק י סימן כ"ז] דן אם יש מקק או נמלים בשירותים, אם מותר להוריד המים או לא, כי שמה הכוונה הוא לשטוף האסלה מלכלוכים אחרים ולא להרוג המקק, ומתיר שם .