From 6d33055a212687d4c536705b611966a0f7a67eb0 Mon Sep 17 00:00:00 2001 From: xleroy Date: Tue, 18 Aug 2009 15:47:15 +0000 Subject: Updated Selection git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1132 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- 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 137ddb0..4eb107b 100644 --- a/extraction/extraction.v +++ b/extraction/extraction.v @@ -54,7 +54,7 @@ Extract Constant Iteration.GenIter.iterate => (* Selection *) -Extract Constant Selection.use_fused_mul => "(fun () -> !Clflags.option_fmadd)". +Extract Constant SelectOp.use_fused_mul => "(fun () -> !Clflags.option_fmadd)". (* RTLgen *) Extract Constant RTLgen.compile_switch => "RTLgenaux.compile_switch". -- cgit v1.2.3