diff options
Diffstat (limited to 'src/scanners.re')
| -rw-r--r-- | src/scanners.re | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/scanners.re b/src/scanners.re index 28aba9d..5ec1bf3 100644 --- a/src/scanners.re +++ b/src/scanners.re @@ -36,7 +36,7 @@ htmlcomment = "!--" ([^-\x00]+ | [-][^-\x00]+)* "-->"; - processinginstruction = "?" ([^?>\x00]+ | [?][^>\x00])* "?>"; + processinginstruction = "?" ([^?>\x00]+ | [?][^>\x00] | [>])* "?>"; declaration = "!" [A-Z]+ spacechar+ [^>\x00]* ">"; |