Bug#882162: alt-ergo FTBFS: Error: This expression has type Sim.Core.t * bool but an expression was expected of type Sim.Core.t
Source: alt-ergo
Version: 1.30-1
Severity: serious
Tags: buster sid
Some recent change in unstable (ocplib-simplex?) makes alt-ergo FTBFS:
https://tests.reproducible-builds.org/debian/history/alt-ergo.html
https://tests.reproducible-builds.org/debian/rb-pkg/unstable/amd64/alt-ergo.html
...
File "/build/1st/alt-ergo-1.30/src/theories/intervalCalculus.ml", line 166, characters 10-17:
Error: This expression has type Sim.Core.t * bool
but an expression was expected of type Sim.Core.t
Makefile.users:233: recipe for target 'src/theories/intervalCalculus.cmx' failed
make[2]: *** [src/theories/intervalCalculus.cmx] Error 2
Reply to: