Drop MAX_NUM_CLAUSES

• Reporter: cazfi
• 소유자: cazfi
• Type: Patches
• Status: Closed
• Component: Client common
• MileStone: 3.0.5 (closed)
• Priority: 5 - Medium
• Severity: 5 - Medium
• Resolution: Fixed
• File: 3

Details

Several clients defined MAX_NUM_CLAUSES. It's used nowhere (and shouldn't!). Drop it.

Ticket History (3/6 Histories)

2022-12-04 23:49 Updated by: cazfi

• New Ticket "Drop MAX_NUM_CLAUSES" created

2022-12-04 23:54 Updated by: cazfi

• File 0037-Drop-MAX_NUM_CLAUSES.patch (File ID: 11023) is attached

2022-12-04 23:55 Updated by: cazfi

• File 0045-Drop-MAX_NUM_CLAUSES.patch (File ID: 11024) is attached

2022-12-04 23:55 Updated by: cazfi

• File 0016-Drop-MAX_NUM_CLAUSES.patch (File ID: 11025) is attached

2022-12-04 23:55 Updated by: cazfi

• 소유자 Update from (None) to cazfi
• Resolution Update from None to Accepted
• Milestone Update from (None) to 3.0.5 (closed)

2022-12-11 16:23 Updated by: cazfi

• Status Update from Open to Closed
• Resolution Update from Accepted to Fixed