סימן קיא סעיף ו
הַחֲדָרִים שֶׁמּוֹכְרִים לְאֵינוֹ יְהוּדִי עִם הֶחָמֵץ, כֵּיוָן שֶׁאֵין מוֹכְרִים עַד לְמָחָר, אִם כֵּן חָל עָלָיו בַּלַּיְלָה חִיּוּב בְּדִיקָה וְחַיָּב לְבָדְקָם (חיי"א כלל קיט מקור חַיִּים סוֹף סוֹף סִימָן תלו).
[This is the law concerning] the rooms you sell to a non-Jew together with the chametz in them. Since the sale is not valid until the morning, you are obliged to search them in the evening,6This is also the opinion of Mekor Chaim and Chayei Adam. In their responsa, Binyan Olam and Chasam Sofer disagree and rule that you may be lenient so long as you searched the other rooms. This is also the opinion of Aishel Avrohom. (Ibid. 436:32, 433:23) and you must do so.
תנא דבי אליהו כל השונה הלכות בכל יום מובטח לו שהוא בן העולם הבא שנאמר הליכות עולם לו אל תקרי הליכות אלא הלכות (נדה ע"ג.)