From 8c24fc1ba49a1623dbecbea82c9fef238f17c4ee Mon Sep 17 00:00:00 2001
From: letouzey
Date: Tue, 2 Oct 2012 15:58:10 +0000
Subject: Remove some dead code in the vm

 Apparently Cysmtable.set_global_boxed is unused,
 and removing it allows to get rid of a bunch of C code
 concerning "boxed" things (including ACCUMULATECOND
 instruction).

 Still TODO: Csymtable.set_transparent_const and
 Csymtable.set_opaque_const appear to be no-ops.
 Should we remove them ?

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15845 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 kernel/byterun/coq_fix_code.h | 1 -
 1 file changed, 1 deletion(-)

(limited to 'kernel/byterun/coq_fix_code.h')

diff --git a/kernel/byterun/coq_fix_code.h b/kernel/byterun/coq_fix_code.h
index c1a4e0ae66..5c85389dd5 100644
--- a/kernel/byterun/coq_fix_code.h
+++ b/kernel/byterun/coq_fix_code.h
@@ -29,7 +29,6 @@ void init_arity();
 value coq_tcode_of_code(value code, value len);
 value coq_makeaccu (value i);
 value coq_pushpop (value i);
-value coq_accucond (value i);
 value coq_is_accumulate_code(value code);
 
 #endif /* _COQ_FIX_CODE_ */
-- 
cgit v1.2.3