Failed test on `dedukti/relation.dko`: line:33420 column:1120 Cannot find symbol 'relation.B'.
XVilka opened this issue · 1 comments
XVilka commented
ERROR line:33420 column:1120 Cannot find symbol 'relation.B'.
Makefile:184: recipe for target 'dedukti/relation.dko' failed
make[1]: *** [dedukti/relation.dko] Error 3
make[1]: Leaving directory '/home/travis/build/Deducteam/Holide'
See the Travis CI log for the full report:
- 4.02 version: https://travis-ci.org/Deducteam/Holide/jobs/607721715
- 4.09 version: https://travis-ci.org/Deducteam/Holide/jobs/607721722
fblanqui commented
It also fails on relation-natural-1.39.B, relation-natural-1.39, and relation-natural-thm-1.44.