Commits
Nadav Rotem committed cd71f51a2e3
[Mangler] Fix a bug in the bit width calculation of numbers representing strings. The bug is that zext expects the bitwidth to be different, which is incorrect since the bitwidth does not change most of the times.