Changeset f82665 in git for gfanlib/gfanlib_zcone.cpp

Timestamp:

Oct 29, 2018, 1:28:18 PM (5 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '828514cf6e480e4bafc26df99217bf2a1ed1ef45')

Children:

daeaac1ed0f0ea9b041977a1b0f3e7edc96c10e3

Parents:

fadf5bd30a2a40cf580cfb666b0a2dfc5d7b9d42

Message:

update gfanlib to 0.6.2

File:

• gfanlib/gfanlib_zcone.cpp (modified) (1 diff)

gfanlib/gfanlib_zcone.cpp

@@ -37 +37 @@
         void initializeCddlibIfRequired() // calling this frequently will cause memory leaks because deinitialisation is not possible with old versions of cddlib.
         {
-          if (dd_statStartTime==0)
-          {
+          if (dd_statStartTime==0)
+          {
                 dd_set_global_constants();
           }