From f1d236b83003eda71e12840732d159fd23b1b771 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Tue, 29 Apr 2014 13:58:18 +0000
Subject: Integration of Jacques-Henri Jourdan's verified parser. (Merge of
 branch newparser.)

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2469 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 test/c/chomp.c | 6 ++----
 test/c/vmach.c | 3 +--
 2 files changed, 3 insertions(+), 6 deletions(-)

(limited to 'test/c')

diff --git a/test/c/chomp.c b/test/c/chomp.c
index 042877d..7c8e611 100644
--- a/test/c/chomp.c
+++ b/test/c/chomp.c
@@ -21,8 +21,7 @@ struct _play
 
 int nrow,ncol;      /* global so as to avoid passing them all over the place */
 
-int *copy_data(data) /* creates a duplicate of a given -data list */
-int *data;
+int *copy_data(int* data) /* creates a duplicate of a given -data list */
 {
   int *new = NDATA;
   int counter = ncol;
@@ -93,8 +92,7 @@ void dump_list(struct _list *list) /* same for a _list structure */
     }
 }
 
-void dump_play(play) /* and for the entire game tree */
-struct _play *play;
+void dump_play(struct _play *play) /* and for the entire game tree */
 {
   if (play != NULL)
     {
diff --git a/test/c/vmach.c b/test/c/vmach.c
index 15546f8..49c120d 100644
--- a/test/c/vmach.c
+++ b/test/c/vmach.c
@@ -52,8 +52,7 @@ enum wordcode_instruct {
 
 long stack[STACKSIZE];
 
-long wordcode_interp(code)
-     unsigned int * code;
+long wordcode_interp(unsigned int* code)
 {
   long * sp;
   unsigned int * pc;
-- 
cgit v1.2.3