File "./util/seqset.v", line 19, characters 42-52:
Error: The reference mkPredType was not found in the current environment.
Makefile:658: recipe for target 'util/seqset.vo' failed
make[1]: *** [util/seqset.vo] Error 1
make[1]: *** Waiting for unfinished jobs....
make: *** [all] Error 2
Makefile:320: recipe for target 'all' failed
ERROR: Job failed: exit code 1
COQC util/powerset.v
COQC util/seqset.v
File "./util/seqset.v", line 19, characters 42-52:
Error: The reference mkPredType was not found in the current environment.
make[1]: *** [Makefile:659: util/seqset.vo] Error 1
make[1]: *** Waiting for unfinished jobs....
make: *** [Makefile:321: all] Error 2
ERROR: Job failed: exit code 1
CC: @sbozhko @proux @mlesourd