diff options
author | m8pple <dt10@imperial.ac.uk> | 2017-03-06 13:50:12 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-03-06 13:50:12 +0000 |
commit | 6baea6b1eeb184ca49f3d2e1961ffd2e43ba8ef4 (patch) | |
tree | ce71f0653f416a35ebbc4c4fed1f093b58d532fb /2-parser.md | |
parent | cdd79e06406f8a35106b2f8f579556d6e4b4e0f2 (diff) | |
download | Compiler-6baea6b1eeb184ca49f3d2e1961ffd2e43ba8ef4.tar.gz Compiler-6baea6b1eeb184ca49f3d2e1961ffd2e43ba8ef4.zip |
Note that extra attributes are allowed. Closes #24.
Diffstat (limited to '2-parser.md')
-rw-r--r-- | 2-parser.md | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/2-parser.md b/2-parser.md index 5e42160..6a29ac1 100644 --- a/2-parser.md +++ b/2-parser.md @@ -57,7 +57,9 @@ Your output should consist of the following types of XML element: variable that is being introduced. The output should not contain any other elements except for these -five. Each element can contain arbitrary amounts of white-space. +five. Each element can contain arbitrary amounts of white-space, and +you are allowed to include attributes beyond those explicitly required +here. Examples -------- |