Skip to content

Remove the "fieldref" id

d2e10af
Select commit
Loading
Failed to load commit list.
Merged

Introduce fieldref_exprt to represent a field reference #1856

Remove the "fieldref" id
d2e10af
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs