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
---
 checklink/Frameworks.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'checklink/Frameworks.ml')

diff --git a/checklink/Frameworks.ml b/checklink/Frameworks.ml
index 074a432..35144dc 100644
--- a/checklink/Frameworks.ml
+++ b/checklink/Frameworks.ml
@@ -1,6 +1,6 @@
+open Camlcoq
 open Asm
 open AST
-open BinPos
 open ELF_types
 open Lens
 open Library
@@ -62,7 +62,7 @@ type e_framework = {
 }
 
 module PosOT = struct
-  type t = positive
+  type t = P.t
   let compare = Pervasives.compare
 end
 
-- 
cgit v1.2.3