If the credit was less than $300 (single) or $600 (married filing jointly) then it automatically is transferred to Schedule 3 (Nonrefundable credits) and then to 1040 line 12b.
If it is more than the above amounts, the information is transferred to the Foreign Taxes section under Deductions and Credits
