Add missing constant
treebf96a1acc4b58836e4cfe6ee18fcaacde8eec25e
-rw-r--r-- 39 .gitignore
-rw-r--r-- 696 makefile
drwxr-xr-x - regtests
drwxr-xr-x - src
-rw-r--r-- 350 style_checker.gpr