- fixed a small oops: iprint() didn't reset the number output format to decimal
[ginac.git] / ginsh / ginsh.h
index 351e476eccf6d72b6ff55dc0d2d98aa120133ec2..3cab831970c87a20419e0b615bede59386c38f35 100644 (file)
@@ -41,11 +41,15 @@ extern "C" {
 }
 #endif
 
+#ifdef IN_GINAC
+#include "ginac.h"
+#else
 #include <ginac/ginac.h>
+#endif
 
-#ifndef NO_GINAC_NAMESPACE
+#ifndef NO_NAMESPACE_GINAC
 using namespace GiNaC;
-#endif // ndef NO_GINAC_NAMESPACE
+#endif // ndef NO_NAMESPACE_GINAC
 
 // yacc stack type
 #define YYSTYPE ex