Remove superfluous variable

6 jobs for master in 3 minutes and 26 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed 1.8.0-coq-8.8 #38151

00:01:59

passed 1.9.0-coq-8.9 #38153

00:01:59

failed 1.9.0-coq-dev #38152
allowed to fail

00:00:15

 
  Process
passed doc #38155

00:00:23

passed proof-length #38156

00:00:14

passed validate #38154

00:01:27

 
Name Stage Failure
failed
1.9.0-coq-dev Build There is an unknown failure, please try again
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