Skip to content

fix virtual positions for symbols and rules generated by inductive#1448

Open
fblanqui wants to merge 3 commits into
Deducteam:masterfrom
fblanqui:pos
Open

fix virtual positions for symbols and rules generated by inductive#1448
fblanqui wants to merge 3 commits into
Deducteam:masterfrom
fblanqui:pos

revert changes in indexing.ml

60558fb
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
test_full (5.5.0)
succeeded Jul 9, 2026 in 9m 16s