Skip to content
Commit 8063ce7c authored by Christoph Schwering's avatar Christoph Schwering
Browse files

Fixed: Term::hash() also works for 32 bit. 

Using std::ptruint_t for pointer-size int.
Prefixed [u]intX_t with std.
parent 863ec4bb
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment