- fixed a small oops: iprint() didn't reset the number output format to decimal
[ginac.git] / ginsh / ginsh.h
index 735d4b96a3a4341610f3788f83135583dde0e31f..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