From 4bb3d74d6142aaee01e253fbc8b47cde004713b5 Mon Sep 17 00:00:00 2001 From: CEisenhofer Date: Thu, 6 Aug 2026 20:11:04 -0700 Subject: [PATCH] Fixed for pre-C++17 --- src/ast/rewriter/seq_split.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ast/rewriter/seq_split.h b/src/ast/rewriter/seq_split.h index 6ed2eb01ad..dd25117e7b 100644 --- a/src/ast/rewriter/seq_split.h +++ b/src/ast/rewriter/seq_split.h @@ -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);