Commit e91011e0 authored by Vladimír Štill's avatar Vladimír Štill
Browse files

LLVM: Make resulf of __divine_choice initialized.

parent dc4aca9d
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment