enhanced ginaccint.bin.cpp (help, read from file, save commands)

[ginac.git] / cint / dummies.pl

diff --git a/cint/dummies.pl b/cint/dummies.pl
index 890bafe8dd258c071d8e2946401af6594eeb52e3..0bb469628a0fa913f720a4f3a7def912cedccd9f 100644 (file)
--- a/cint/dummies.pl
+++ b/cint/dummies.pl
@@ -44,6 +44,9 @@ $opening=<<END_OF_OPENING;
  *  Please do not modify it directly, edit the perl script instead!
  */
 
+#if (!defined(G_CINTVERSION)) || (G_CINTVERSION < 501437)
+// this dummy file seems to be no longer needed for cint >= 5.14.37
+
 END_OF_OPENING
 
 print OUT $opening;
@@ -201,6 +204,8 @@ inline_function_1p('bool','is_zero');
 inline_function_2p('simp_lor','lor_g');
 inline_single_function_2p('simp_lor','lor_vec','const string &','','const basic &','ex');
 
+print OUT "\n#endif // (!defined(G_CINTVERSION)) || (G_CINTVERSION < 501437)\n";
+
 close OUT;
 
 # Create a file containing stubs that may be necessary because Cint always