From 9231fe4995ca670dba9c69cc5b8e74d6c1f15105 Mon Sep 17 00:00:00 2001
From: Alexander Frink <Alexander.Frink@uni-mainz.de>
Date: Wed, 10 May 2000 23:06:49 +0000
Subject: [PATCH] more modifications for future cints with correct namespace
 handling

---
 cint/dummies.cpp |  7 ++++++-
 cint/dummies.pl  | 12 +++++++++++-
 2 files changed, 17 insertions(+), 2 deletions(-)

diff --git a/cint/dummies.cpp b/cint/dummies.cpp
index 66d57d9a..85b6fbfa 100644
--- a/cint/dummies.cpp
+++ b/cint/dummies.cpp
@@ -8,7 +8,12 @@
 #include <ginac/function.h>
 
 #ifndef NO_NAMESPACE_GINAC
-using namespace GiNaC;
+namespace GiNaC {
 #endif // ndef NO_NAMESPACE_GINAC
 
 void ginsh_get_ginac_functions(void) { }
+
+#ifndef NO_NAMESPACE_GINAC
+}
+#endif // ndef NO_NAMESPACE_GINAC
+
diff --git a/cint/dummies.pl b/cint/dummies.pl
index 0bb46962..4da0b812 100644
--- a/cint/dummies.pl
+++ b/cint/dummies.pl
@@ -224,7 +224,7 @@ $opening=<<END_OF_OPENING;
 #include <ginac/function.h>
 
 #ifndef NO_NAMESPACE_GINAC
-using namespace GiNaC;
+namespace GiNaC {
 #endif // ndef NO_NAMESPACE_GINAC
 
 END_OF_OPENING
@@ -232,6 +232,16 @@ END_OF_OPENING
 print OUT $opening;
 print OUT "void ginsh_get_ginac_functions(void) { }\n";
 
+$closing=<<END_OF_CLOSING;
+
+#ifndef NO_NAMESPACE_GINAC
+}
+#endif // ndef NO_NAMESPACE_GINAC
+
+END_OF_CLOSING
+
+print OUT $closing;
+
 close OUT;
 
 # Create dummies 
-- 
2.44.0