Skip to content
Commit 7485462c authored by Petr Rockai's avatar Petr Rockai
Browse files

libc: Use __lamp_any_* instead of __sym_val_* for __VERIFIER_*.

parent 09feed38
Loading
Loading
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment