Open kgrgreer opened 7 years ago
It's a design bug which I've been meaning to fix. The problem is that axiom names need to be unique and we use the method name, which was fine for JS but isn't sufficient for Java when doing overloading. We would need to change the name of Method axioms to include their signature or some other disambiguator.
Can't have two methods with the same name but different arguments.