From 300293c119981054c95182a90c829058530a6b6f Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Sun, 25 Dec 2011 13:19:42 +0100
Subject: Imported Upstream version 8.3.pl3

---
 kernel/cemitcodes.ml | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'kernel/cemitcodes.ml')

diff --git a/kernel/cemitcodes.ml b/kernel/cemitcodes.ml
index 4a9c7da2..0b4df194 100644
--- a/kernel/cemitcodes.ml
+++ b/kernel/cemitcodes.ml
@@ -295,6 +295,8 @@ let init () =
 
 type emitcodes = string
 
+let copy = String.copy
+
 let length = String.length
 
 type to_patch = emitcodes * (patch list) * fv
@@ -341,6 +343,8 @@ let is_boxed tps =
   | BCdefined(b,_) -> b
   | _ -> false
 
+let repr_body_code = repr_substituted
+
 let to_memory (init_code, fun_code, fv) =
   init();
   emit init_code;
-- 
cgit v1.2.3