[m-rev.] trivial diff: delete aditi stuff from util/mkinit.c

Julien Fischer juliensf at cs.mu.OZ.AU
Thu May 4 15:55:26 AEST 2006


Estimated hours taken: 0.1
Branches: main, release

util/mkinit.c:
	Delete some left over aditi stuff.

Julien.

Index: mkinit.c
===================================================================
RCS file: /home/mercury1/repository/mercury/util/mkinit.c,v
retrieving revision 1.108
diff -u -r1.108 mkinit.c
--- mkinit.c	24 Feb 2006 07:11:21 -0000	1.108
+++ mkinit.c	4 May 2006 05:53:55 -0000
@@ -515,7 +515,6 @@
 static  void    output_init_function(const char *func_name,
                     int *num_bunches_ptr, int *num_calls_in_cur_bunch_ptr,
                     Purpose purpose);
-static  void    add_rl_data(char *data);
 static  int     get_line(FILE *file, char *line, int line_max);
 static  void    *checked_malloc(size_t size);
 static  char    *checked_strdup(const char *str);
@@ -1127,7 +1126,7 @@
 {
     /*
     ** The strings that are supposed to be followed by other information
-    ** (INIT, REQUIRED_INIT, REQUIRED_FINAL, and ADITI_DATA) should end with
+    ** (INIT, REQUIRED_INIT, and REQUIRED_FINAL) should end with
     ** the space that separates the keyword from the following data.
     ** The string that is not supposed to be following by other information
     ** (ENDINIT) should not have a following space, since llds_out.m and
@@ -1143,7 +1142,6 @@
     const int           reqfinal_strlen = strlen(reqfinal_str);
     const int           endinit_strlen = strlen(endinit_str);
     char                line[MAXLINE];
-    char                *rl_data_name;
     FILE                *cfile;

     cfile = fopen(filename, "r");

--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------



More information about the reviews mailing list