Code

z3.h: Don't include stdio.h#7014

Code

Merged

NikolajBjorner merged 1 commit intoZ3Prover:masterZ3Prover/z3:masterfrom waywardmonkeys:remove-stdio.h-inclusionwaywardmonkeys/z3:remove-stdio.h-inclusionCopy head branch name to clipboardNov 24, 2023

-1

Commits

Commits on Nov 23, 2023

• z3.h: Don't include stdio.h

  Show description for c47852a
  waywardmonkeys

  committed
  c47852a

  Copy full SHA for c47852a