Skip to content

Avoid evaluating void variables#737

Open
haselwarter wants to merge 1 commit into
ProofGeneral:masterfrom
haselwarter:guard-void-variable-access
Open

Avoid evaluating void variables#737
haselwarter wants to merge 1 commit into
ProofGeneral:masterfrom
haselwarter:guard-void-variable-access

Avoid evaluating void variables

565ec9a
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs