Support for cint versions older than 5.14.38 is discontinued.

[ginac.git] / cint / dummies.cpp

diff --git a/cint/dummies.cpp b/cint/dummies.cpp
deleted file mode 100644 (file)
index 85b6fbf..0000000
--- a/cint/dummies.cpp
+++ /dev/null
@@ -1,19 +0,0 @@
-/*  dummies.cpp
- *
- *  Dummies and stubs to overcome certain deficiencies of Cint.
- *  This file was generated automatically by dummies.pl.
- *  Please do not modify it directly, edit the perl script instead!
- */
-
-#include <ginac/function.h>
-
-#ifndef NO_NAMESPACE_GINAC
-namespace GiNaC {
-#endif // ndef NO_NAMESPACE_GINAC
-
-void ginsh_get_ginac_functions(void) { }
-
-#ifndef NO_NAMESPACE_GINAC
-}
-#endif // ndef NO_NAMESPACE_GINAC
-