12 lines
527 B
Diff
12 lines
527 B
Diff
--- java-algebra-system-2.7.180/src/edu/jas/application/RingFactoryTokenizer.java 2023-03-02 13:46:55.000000000 +0100
|
|
+++ java-algebra-system-2.7.180/src/edu/jas/application/RingFactoryTokenizer.java 2023-03-14 16:48:57.013344958 +0100
|
|
@@ -819,7 +819,7 @@
|
|
logger.info("coeff = {}", coeff);
|
|
|
|
vars = nextVariableList();
|
|
- final var vv = vars;
|
|
+ final String[] vv = vars;
|
|
logger.info("vars = {}", () -> Arrays.toString(vv));
|
|
if (vars != null) {
|
|
nvars = vars.length;
|