X-Git-Url: https://ginac.de/ginac.git//ginac.git?a=blobdiff_plain;f=cint%2Fdummies.pl;fp=cint%2Fdummies.pl;h=4da0b81277844ceac9ace599852e51939187770e;hb=9231fe4995ca670dba9c69cc5b8e74d6c1f15105;hp=0bb469628a0fa913f720a4f3a7def912cedccd9f;hpb=35d3df76b2ad5e63d7c120f300d7a4b32ee07342;p=ginac.git 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=< #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=<