diff options
Diffstat (limited to 'math/gfan/files/patch-src_app__tropicaltraverse.cpp')
-rw-r--r-- | math/gfan/files/patch-src_app__tropicaltraverse.cpp | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/math/gfan/files/patch-src_app__tropicaltraverse.cpp b/math/gfan/files/patch-src_app__tropicaltraverse.cpp new file mode 100644 index 000000000000..72141837aea7 --- /dev/null +++ b/math/gfan/files/patch-src_app__tropicaltraverse.cpp @@ -0,0 +1,13 @@ +--- src/app_tropicaltraverse.cpp.orig 2017-06-20 14:47:37 UTC ++++ src/app_tropicaltraverse.cpp +@@ -93,8 +93,8 @@ class TropicalTraverseApplication : public GFanApplica + s.computeClosure(generators); + s.createTrie(); + +- log2 s.print(Stderr); +- log2 fprintf(Stderr,"\n"); ++ gfan_log2 s.print(Stderr); ++ gfan_log2 fprintf(Stderr,"\n"); + } + if(optionTorusSymmetry.getValue() && !optionSymmetry.getValue()) + { |