Skip to content

Commit

Permalink
[FIX] Fix bug splitting query by line to find query comment
Browse files Browse the repository at this point in the history
  • Loading branch information
kostobog committed Jun 15, 2022
1 parent add24bf commit aabae9a
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -306,7 +306,7 @@ protected String getQueryComment(org.topbraid.spin.model.Query query) {
if (query.getComment() != null) {
return query.getComment();
}
String comment = query.toString().split("\\n")[0];
String comment = query.toString().split(System.lineSeparator())[0];
if (comment.matches("\\s*#.*")) {
return comment.split("\\s*#\\s*", 2)[1];
}
Expand Down

0 comments on commit aabae9a

Please sign in to comment.