What steps will reproduce the problem?
1. un-tar the attached example
2. run gf -make C.gf
What is the expected output? What do you see instead?
In the output, there is one line that says "Warning: no linearization of b",
but the concrete is missing 2 linearization (a and b), so it should also print
"Warning: no linearization of a"
Original issue reported on code.google.com by gregoire...@gmail.com on 5 Aug 2013 at 8:36
Original issue reported on code.google.com by
gregoire...@gmail.comon 5 Aug 2013 at 8:36Attachments: