Commit 7829691e authored by Aart Bik's avatar Aart Bik
Browse files

Fix bug not accounting for type in induction comparison. 

Extended unit tests.

Rationale:
Now that inductions are typed, comparisons should take
the type into account as well.

Change-Id: Ie533bb728d2006390646657573fa743e6fc37ff2
parent b0b38596
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