Babylonian Talmud, Tractate Makkot

ותרוייהו אליבא דרבי יהודה דתניא ולא תותירו ממנו עד בקר והנותר ממנו עד בקר וגו' בא הכתוב ליתן עשה אחר לא תעשה לומר שאין לוקין עליו דברי רבי יהודה ר' יוחנן דייק הכי טעמא דבא הכתוב הא לא בא הכתוב לוקה אלמא התראת ספק שמה התראה ור"ל דייק הכי טעמא דבא הכתוב הא לא בא הכתוב לוקה אלמא לאו שאין בו מעשה לוקין עליו