From 93524ed2dfb3bbcc2006286954001039c95732cd Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Wed, 13 Mar 2019 11:09:06 +0100
Subject: overlay for PR 9733

---
 src/tac2core.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/tac2core.ml')

diff --git a/src/tac2core.ml b/src/tac2core.ml
index 30beee58de..0f85f56c22 100644
--- a/src/tac2core.ml
+++ b/src/tac2core.ml
@@ -1251,7 +1251,7 @@ open CAst
 
 let () = add_scope "keyword" begin function
 | [SexprStr {loc;v=s}] ->
-  let scope = Extend.Atoken (Tok.KEYWORD s) in
+  let scope = Extend.Atoken (Tok.pattern_for_KEYWORD s) in
   Tac2entries.ScopeRule (scope, (fun _ -> q_unit))
 | arg -> scope_fail "keyword" arg
 end
-- 
cgit v1.2.3