From c24a652789e15b33153c1d90c6869eb6e6e28040 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Sun, 7 Mar 2010 17:49:18 +0000
Subject: Handling of builtins, continued. PrintCsyntax, PrintAsm: improve
 printing of float literals.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1284 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 cparser/Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'cparser/Makefile')

diff --git a/cparser/Makefile b/cparser/Makefile
index df1d6047..837bda87 100644
--- a/cparser/Makefile
+++ b/cparser/Makefile
@@ -11,9 +11,9 @@ INTFS=C.mli
 
 SRCS=Errors.ml Cabs.ml Cabshelper.ml Parse_aux.ml Parser.ml Lexer.ml \
   Machine.ml \
-  Env.ml Cprint.ml Cutil.ml Ceval.ml Cleanup.ml \
+  Env.ml Cprint.ml Cutil.ml Ceval.ml \
   Builtins.ml GCC.ml \
-  Elab.ml Rename.ml \
+  Cleanup.ml Elab.ml Rename.ml \
   Transform.ml \
   Unblock.ml SimplExpr.ml AddCasts.ml StructByValue.ml StructAssign.ml \
   Bitfields.ml \
-- 
cgit