`{crucible,crux}-llvm`: Adapt to elliottt/llvm-pretty#118#1162

Merged

RyanGlScott merged 1 commit intomasterfrom T1145-bump-llvm-pretty

Jan 10, 2024

+80-26

Commits on Jan 10, 2024

{crucible,crux}-llvm: Adapt to GaloisInc/llvm-pretty#118
RyanGlScott
committed