gf-3.1.6: testsuite/compiler/check/lincat-types/TestCnc.gf

concrete TestCnc of Test = open Predef in {

lincat S = PTrue ;

}