Skip to content

Fix crash in restrict_fun2 on polymorphic THF unification

7a79b2c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

Fix crash in restrict_fun2 on polymorphic THF unification #105

Fix crash in restrict_fun2 on polymorphic THF unification
7a79b2c
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
Build (ubuntu-latest, 4.13.x)
succeeded Apr 3, 2026 in 2m 36s