From d3653c6da5770dfc4d439639b49193e30172763a Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Sun, 6 Mar 2016 15:10:27 +0100
Subject: Fixing bug #4610: Fails to build with camlp4 since the TACTIC EXTEND
 move.

We just reuse the same one weird old trick in CAMLP4 to compare keywords and
identifiers as tokens. Note though that the commit 982460743 does not fix the
keyword vs. identifier issue in CAMLP4, so that the corresponding test fails.
This means that since that commit, some code compiling with CAMLP5 does not
when using CAMLP4, making it a second-class citizen.
---
 dev/printers.mllib | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dev')

diff --git a/dev/printers.mllib b/dev/printers.mllib
index 21868203f8..39e4b1cdb1 100644
--- a/dev/printers.mllib
+++ b/dev/printers.mllib
@@ -19,6 +19,7 @@ Pp_control
 Loc
 CList
 CString
+Tok
 Compat
 Flags
 Control
@@ -153,7 +154,6 @@ Library
 States
 
 Genprint
-Tok
 Lexer
 Ppextend
 Pputils
-- 
cgit v1.2.3