Boolean loops with compact left inner mapping groups are profinite

A compact, Hausdorff and totally disconnected loop is called a boolean loop. In this note, we prove that a boolean loop with compact left inner mapping group is profinite.