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

diff --git a/check/paranoia_check.cpp b/check/paranoia_check.cpp
index 97ee011d..d84946f2 100644
--- a/check/paranoia_check.cpp
+++ b/check/paranoia_check.cpp
@@ -1,11 +1,30 @@
-// 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>
+using namespace GiNaC;
 
 // 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