From 056068abd228fefab4951a61700aa6d54fb88287 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Tue, 29 Jan 2013 09:10:29 +0000
Subject: Ported to Coq 8.4pl1.  Merge of branches/coq-8.4.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2101 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 backend/CMlexer.mll | 1 +
 1 file changed, 1 insertion(+)

(limited to 'backend/CMlexer.mll')

diff --git a/backend/CMlexer.mll b/backend/CMlexer.mll
index eac48e0..4083c95 100644
--- a/backend/CMlexer.mll
+++ b/backend/CMlexer.mll
@@ -14,6 +14,7 @@
 (* *********************************************************************)
 
 {
+open BinNums
 open Camlcoq
 open CMparser
 exception Error of string
-- 
cgit v1.2.3