Ада GPS редактор вылетает при вставке в текст

Question

При редактировании этого тела пакета:

package body ai is

   type Possible_Boards is

end ai;

Сбой GPS при вставке следующего кода после:

    let bestMoves = [
        0x1160:1,
        0x1205:0,
        0x1304:0,
        0x1340:0,
        0x1403:0,
        0x1430:0,
        0x1502:0,
        0x1520:0,
        0x1601:0,
        0x1610:1,
        0x1700:0,
        0x2222:0,
        0x2330:0,
        0x2420:0,
        0x2510:0,
        0x3140:1,
        0x3203:0,
        0x3230:0,
        0x3320:0,
        0x4103:0,
        0x4130:1,
        0x4220:0,
        0x5120:1,
        0x6101:0,
        0x6110:1 ];

Очевидно, это не код Ады, но сбой GPS не кажется разумным.