summaryrefslogtreecommitdiffstats
path: root/src/pre.l
diff options
context:
space:
mode:
Diffstat (limited to 'src/pre.l')
-rw-r--r--src/pre.l3
1 files changed, 3 insertions, 0 deletions
diff --git a/src/pre.l b/src/pre.l
index 9975934..d0acd41 100644
--- a/src/pre.l
+++ b/src/pre.l
@@ -2073,6 +2073,9 @@ CHARLIT (("'"\\[0-7]{1,3}"'")|("'"\\."'")|("'"[^'\\\n]{1,4}"'"))
BEGIN(Start);
g_yyLineNr++;
}
+<Command>"pragma"{B}+"once" {
+ g_expectGuard = FALSE;
+ }
<Command>{ID} { // unknown directive
BEGIN(IgnoreLine);
}