blob: 72141837aea7f81cd3b9020f95cbdf68becd6dac (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
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())
{
|
