From 478ae4c3aeb1a31b0eec9ab7eb8fe20ec2671614 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Sun, 6 Mar 2016 10:36:55 +0100
Subject: Misc updates following the introduction of the new linking framework

---
 extraction/extraction.v | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'extraction')

diff --git a/extraction/extraction.v b/extraction/extraction.v
index 0f0a8637..22a69c49 100644
--- a/extraction/extraction.v
+++ b/extraction/extraction.v
@@ -158,11 +158,10 @@ Separate Extraction
    Csyntax.Eindex Csyntax.Epreincr
    Ctyping.typecheck_program
    Ctyping.epostincr Ctyping.epostdecr Ctyping.epreincr Ctyping.epredecr
-   Clight.make_program
+   Ctypes.make_program
    Conventions1.dummy_int_reg Conventions1.dummy_float_reg
    RTL.instr_defs RTL.instr_uses
    Machregs.mregs_for_operation Machregs.mregs_for_builtin
    Machregs.two_address_op Machregs.is_stack_reg
    AST.signature_main
-   AST.transform_partial_ident_program
    Parser.translation_unit_file.
-- 
cgit