X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=check%2Fparanoia_check.cpp;h=3eb4185c86521d07132541ec1df97f615cc27e1b;hp=97ee011d902ab912e756e3e954133e6c80c59822;hb=b0265215a51a081d20fe68475e080716afc2d45a;hpb=6b3768e8c544739ae53321539cb4d1e3112ded1b

diff --git a/check/paranoia_check.cpp b/check/paranoia_check.cpp
index 97ee011d..3eb4185c 100644
--- a/check/paranoia_check.cpp
+++ b/check/paranoia_check.cpp
@@ -1,12 +1,34 @@
-// check/paranoia_check.cpp
-
-/* This set of tests checks for some of GiNaC's oopses which showed up during
- * development.  Things were evaluated wrongly and so.  It should not find such
- * a sick behaviour again.  But since we are paranoic and we want to exclude
- * that behaviour for good... */
+/** @file paranoia_check.cpp
+ *
+ *  This set of tests checks for some of GiNaC's oopses which showed up during
+ *  development.  Things were evaluated wrongly and so.  It should not find such
+ *  a sick behaviour again.  But since we are paranoic and we want to exclude
+ *  that behaviour for good... */
+
+/*
+ *  GiNaC Copyright (C) 1999 Johannes Gutenberg University Mainz, Germany
+ *
+ *  This program is free software; you can redistribute it and/or modify
+ *  it under the terms of the GNU General Public License as published by
+ *  the Free Software Foundation; either version 2 of the License, or
+ *  (at your option) any later version.
+ *
+ *  This program is distributed in the hope that it will be useful,
+ *  but WITHOUT ANY WARRANTY; without even the implied warranty of
+ *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ *  GNU General Public License for more details.
+ *
+ *  You should have received a copy of the GNU General Public License
+ *  along with this program; if not, write to the Free Software
+ *  Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
+ */
 
 #include <ginac/ginac.h>
 
+#ifndef NO_GINAC_NAMESPACE
+using namespace GiNaC;
+#endif // ndef NO_GINAC_NAMESPACE
+
 // The very first pair of historic problems had its roots in power.cpp and was
 // finally resolved on April 27th. (Fixing the first on April 23rd actually
 // introduced the second.)
@@ -219,7 +241,7 @@ unsigned paranoia_check(void)
     result += paranoia_check7();
     result += paranoia_check8();
 
-    if (! result) {
+    if (!result) {
         cout << " passed ";
         clog << "(no output)" << endl;
     } else {