רש"י על שבת ק.

גמ' רבי מאיר ורבנן - דאיפליגו בחוקקים להשלים בפ"ק דיומא (דף יא:) ובעירובין (ד' יא:) לר"מ דאמר חוקקין להשלים במקו' שיש כדי לחוק הכא חייב דרואין החור כאלו הוא ארבע: