type DFF not found

Hi, I'm trying to use quartus in conjunction with Conformal LEC.

My error is that the quartus-generated .ctc script does not include all the necessary files that my design (a small test counter) requires for the designs to be rendered equivalent.

The problem in question is that Conformal cannot locate (within the quartus libraries) a reference to d flip flops.

Does anyone know where the d flip-flop library reference is located in the quartus directory? this must be suitable for conformal to use.