Compilation Errors in generated Java Code when reusing variable names
To reproduce, enter the Formula
(All x:(P(x))) and (All x:(Q(x))
The code generation will produce a Java file, that declares the variable x twice.
To reproduce, enter the Formula
(All x:(P(x))) and (All x:(Q(x))
The code generation will produce a Java file, that declares the variable x twice.