Code

Avoid evaluating void variables#737

Code

Open

haselwarter wants to merge 1 commit intoProofGeneral:masterProofGeneral/PG:masterfrom haselwarter:guard-void-variable-accesshaselwarter/PG:guard-void-variable-accessCopy head branch name to clipboard

+3-2

Commits

Commits on Feb 13, 2024

• Avoid evaluating void variables

  Show description for 565ec9a
  haselwarter

  committed
  565ec9a

  Copy full SHA for 565ec9a