From: Friedrich Beckmann <friedrich.beckmann@gmx.de>
Date: Sat, 16 Sep 2017 09:25:13 +0000 (+0200)
Subject: removed duplicate const declaration
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f23b29294fe11981eca39360e9479ff25050b556;hp=f23b29294fe11981eca39360e9479ff25050b556;p=pspp

removed duplicate const declaration

During clang compilation the following warning

  duplicate 'const' declaration specifier [-Wduplicate-decl-specifier]
  extern const char const examples_dir[];
                  ^
is shown. I removed the duplicate const declaration to avoid the
warning.
---