Merge pull request #316 from t-8ch/master

dot: be less restrictive in digraph header
This commit is contained in:
arnaudroques 2020-05-05 13:54:45 +02:00 committed by GitHub
commit f2529b8b88
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -53,7 +53,7 @@ public class PSystemDotFactory extends PSystemBasicFactory<PSystemDot> {
@Override
public PSystemDot executeLine(PSystemDot system, String line) {
if (system == null && line.matches("(strict\\s+)?(di)?graph\\s+\\w+\\s+\\{")) {
if (system == null && line.matches("(strict\\s+)?(di)?graph\\s+\\w+\\s*\\{")) {
data = new StringBuilder(line);
data.append("\n");
return new PSystemDot(data.toString());