X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=check%2Fcheck_numeric.cpp;h=46b78d32d04510fa45001c7fbab5caef87d37f77;hp=36a0d1cbf54b02008f4f5f2fec4d4b22e86fe2b9;hb=c69d2c6f95cd62f1bbf2ff665551b1d1b693466c;hpb=af922d5eb36ed70e4a9e3ffaf4c24492cf89a1a6

diff --git a/check/check_numeric.cpp b/check/check_numeric.cpp
index 36a0d1cb..46b78d32 100644
--- a/check/check_numeric.cpp
+++ b/check/check_numeric.cpp
@@ -4,7 +4,7 @@
  *  tests on these numbers like is_integer() etc... */
 
 /*
- *  GiNaC Copyright (C) 1999-2000 Johannes Gutenberg University Mainz, Germany
+ *  GiNaC Copyright (C) 1999-2001 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
@@ -23,10 +23,6 @@
 
 #include "checks.h"
 
-#ifndef NO_NAMESPACE_GINAC
-using namespace GiNaC;
-#endif // ndef NO_NAMESPACE_GINAC
-
 /* Simple and maybe somewhat pointless consistency tests of assorted tests and
  * conversions. */
 static unsigned check_numeric1(void)
@@ -47,7 +43,7 @@ static unsigned check_numeric1(void)
 		numeric res = p/q;
 		if (res != z) {
 			clog << z << " erroneously transformed into " 
-				 << p << "/" << q << " by numer() and denom()" << endl;
+			     << p << "/" << q << " by numer() and denom()" << endl;
 			errorflag = true;
 		}
 	}
@@ -81,14 +77,14 @@ static unsigned check_numeric2(void)
 			// test the result:
 			if (is_ex_of_type(radical,numeric)) {
 				clog << "(" << num << "/" << den << ")^(" << nm
-					 << ") should have been a product, instead it's "
-					 << radical << endl;
+				     << ") should have been a product, instead it's "
+				     << radical << endl;
 				errorflag = true;
 			}
 			numeric ratio = ex_to_numeric(evalf(radical))/floating;
 			if (ratio>1.0001 && ratio<0.9999) {
 				clog << "(" << num << "/" << den << ")^(" << nm
-					 << ") erroneously evaluated to " << radical;
+				     << ") erroneously evaluated to " << radical;
 				errorflag = true;
 			}
 		}