WHY2/src/lib/flags.c

#include <why2/flags.h>

int getKeyLength()
{
    return keyLength;
}

void setKeyLength(int keyLengthNew)
{
    keyLength = keyLengthNew;
}