diff options
Diffstat (limited to 'model-integration/src/main/javacc/ModelParser.jj')
| -rw-r--r-- | model-integration/src/main/javacc/ModelParser.jj | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/model-integration/src/main/javacc/ModelParser.jj b/model-integration/src/main/javacc/ModelParser.jj index a5510dd89f3..5dde54e88e2 100644 --- a/model-integration/src/main/javacc/ModelParser.jj +++ b/model-integration/src/main/javacc/ModelParser.jj @@ -142,8 +142,9 @@ void model() : (<NL>)* <EOF> { - if ( ! name.equals(model.name())) - throw new IllegalArgumentException("Model '" + name + "' must be saved in a file named '" + name + ".model'"); + if ( ! model.name().endsWith(name)) + throw new IllegalArgumentException("Unexpected model name '" + model.name() + + "': Model '" + name + "' must be saved in a file named '" + name + ".model'"); } } |