# HG changeset patch
# User Jan Nieuwenhuizen <janneke@gnu.org>
# Date 1457993030 -3600
# Node ID 728bffca309a0eed9b2ca615dc77e2070dd2ce43
# Parent  fc4f6d2163bd793ce6dbf4e8ee5e69f45211c467
librestrict: build fix for gcc-5.2.

diff -r fc4f6d2163bd -r 728bffca309a librestrict/restrict.c
--- a/librestrict/restrict.c	Mon Mar 14 22:53:34 2016 +0100
+++ b/librestrict/restrict.c	Mon Mar 14 23:03:50 2016 +0100
@@ -191,9 +191,9 @@
 static
 void initialize (void)
 {
-  char *restrict;
+  char *restr;
   char *verbosity_string = getenv ("LIBRESTRICT_VERBOSE");
-  
+
   if (verbosity_string)
     {
       verbosity = atoi (verbosity_string);
@@ -201,14 +201,14 @@
 	verbosity = 1;
     }
   executable_name = get_executable_name ();
-  restrict = get_allowed_prefix (executable_name);
-  if (restrict)
+  restr = get_allowed_prefix (executable_name);
+  if (restr)
     {
       char *allow = getenv ("LIBRESTRICT_ALLOW");
       if (verbosity > 1)
 	fprintf (stderr, "librestrict:warning:%s: allow: %s\n", __PRETTY_FUNCTION__, allow);
 
-      add_allowed_file (restrict);
+      add_allowed_file (restr);
       if (allow)
         add_allowed_path (allow);
       add_allowed_file ("/tmp");