Strings: Fix format of the hex constant when printing codepoints for Unicode escape sequences

Author: daniel-raffler

src/org/sosy_lab/java_smt/basicimpl/AbstractStringFormulaManager.java

@@ -82,7 +82,7 @@ public static String escapeUnicodeForSmtlib(String input) {
       } else if (0x20 <= codePoint && codePoint <= 0x7E) {
         sb.appendCodePoint(codePoint); // normal printable chars
       } else {
-        sb.append("\\u{").append(String.format("%05X", codePoint)).append("}");
+        sb.append("\\u{").append(String.format("%x", codePoint)).append("}");
       }
     }
     return sb.toString();