From 05eac28e5040e12d75d17c25e190dcf22ec530d7 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Fri, 3 Feb 2017 15:13:42 +0100
Subject: Removed Cabshelper open and avoided shadowing.

The Cabshelper is only used in 4 places, so we don't need a global
open. Furhtermore the String.t type is now inlined for Cabs to
avoid shadowing problems in Elab.ml

Bug 19872
---
 extraction/extraction.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'extraction')

diff --git a/extraction/extraction.v b/extraction/extraction.v
index ffa06ddf..82b0a023 100644
--- a/extraction/extraction.v
+++ b/extraction/extraction.v
@@ -124,7 +124,7 @@ Extract Constant Cabs.cabsloc =>
    byteno: int;
    ident : int;
  }".
-Extract Constant Cabs.string => "String.t".
+Extract Inlined Constant Cabs.string => "String.t".
 Extract Constant Cabs.char_code => "int64".
 
 (* Int31 *)
-- 
cgit