@@ -357,6 +357,13 @@ Extra-source-files:
357357 test/bignum002/*.idr
358358 test/bignum002/expected
359359
360+ test/corecords001/*.idr
361+ test/corecords001/run
362+ test/corecords001/expected
363+ test/corecords002/*.idr
364+ test/corecords002/run
365+ test/corecords002/expected
366+
360367 test/delab001/*.idr
361368 test/delab001/run
362369 test/delab001/expected