Rename a variable in one of the tests as its name "concat" is no longer allowed

Author: daniel-raffler

src/org/sosy_lab/java_smt/test/StringFormulaManagerTest.java

@@ -265,10 +265,10 @@ public void testStringPrefixSuffixConcat() throws SolverException, InterruptedEx
     // FIXME: Princess will timeout on this test
     assume().that(solverToUse()).isNotEqualTo(Solvers.PRINCESS);
 
-    // check whether "prefix + suffix == concat"
+    // check whether "prefix + suffix == concatenated"
     StringFormula prefix = smgr.makeVariable("prefix");
     StringFormula suffix = smgr.makeVariable("suffix");
-    StringFormula concat = smgr.makeVariable("concat");
+    StringFormula concat = smgr.makeVariable("concatenated");
 
     assertThatFormula(
             bmgr.and(