From 259dde7928696593c2d3c6de474f5cf50fa4417d Mon Sep 17 00:00:00 2001
From: letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Wed, 19 May 2010 15:29:44 +0000
Subject: Nicer representation of tokens, more independant of camlp*

Cf tok.ml, token isn't anymore string*string where first
 string encodes the kind of the token, but rather a nice
 sum type. Unfortunately, string*string (a.k.a Plexing.pattern)
 is still used in some places of Camlp5, so there's a few
 conversions back and forth. But the penalty should be quite low,
 and having nicer tokens helps in the forthcoming integration
 of support for camlp4 post 3.10

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13018 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 interp/interp.mllib | 1 +
 1 file changed, 1 insertion(+)

(limited to 'interp/interp.mllib')

diff --git a/interp/interp.mllib b/interp/interp.mllib
index 3825f3d87..08a935a44 100644
--- a/interp/interp.mllib
+++ b/interp/interp.mllib
@@ -1,3 +1,4 @@
+Tok
 Lexer
 Topconstr
 Ppextend
-- 
cgit v1.2.3