mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-08-14 09:45:36 +00:00
Code Activity

Fixed for pre-C++17

Browse source
This commit is contained in:
CEisenhofer 2026-08-06 20:11:04 -07:00
parent 882925f876
commit 4bb3d74d61
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/ast/rewriter/seq_split.h
View file

@ -203,7 +203,7 @@ class seq_split {
// aborting, which is several seconds of pure waste. Overrunning this cap is
// a give-up, so the caller falls through to its other rules; that is sound
// and strictly better than the hang.
static const unsigned BOOL_CLOSURE_CAP = 256;
static constexpr unsigned BOOL_CLOSURE_CAP = 256;
public:
explicit seq_split(seq_rewriter& rw);