The reference X0 was not found in the current environment
Closed this issue · 2 comments
vonavi commented
Hi guys! I ran make and got the following error:
File "./Structure/Limit/Kan/Extension.v", line 65, characters 17-19:
Error: The reference X0 was not found in the current environment.
Coq version is 8.9.0.
Best regards,
Vladimir.
dwarfmaster commented
I have the same error (with coq 8.9.1). However if you just remove it from the list of files to compile in _CoqProject and recreate the makefile, you can compile and use the rest of the library just fine.
jwiegley commented
category-theory now requires at least 8.10, though most of the files may still work with 8.9.