Fix spotbugs
@@ -777,7 +777,7 @@ class Yices2NativeApi {
} else {
throw new IllegalArgumentException(
String.format(
- "Can't create variable with name '%s' and type '%s'.\n"
+ "Can't create variable with name '%s' and type '%s'.%n"
+ "As it would omit a variable with type '%s'",
name,
yices_type_to_string(type),
