diff -p -up polybori-0.6.3-20091028/src/polybori-0.6/polybori/src/BooleEnv.cc.orig polybori-0.6.3-20091028/src/polybori-0.6/polybori/src/BooleEnv.cc --- polybori-0.6.3-20091028/src/polybori-0.6/polybori/src/BooleEnv.cc.orig 2010-02-01 20:24:51.534021198 -0200 +++ polybori-0.6.3-20091028/src/polybori-0.6/polybori/src/BooleEnv.cc 2010-02-01 20:25:14.613016554 -0200 @@ -42,7 +42,7 @@ BEGIN_NAMESPACE_PBORI -BooleEnv::ring_type active_ring; +BooleEnv::ring_type active_ring = *new BoolePolyRing; // Note, direct access via friends, to active_ring.pOrder and pMgt, because // inline doesn't work up to now, because os the undefined type issue.