[polybori] Actually add the patch to git.

[Jerry James]

commit 3697d5d921c789696667d9c51c11316a92312fec
Author: Jerry James <loganjerry at gmail.com>
Date:   Tue Jan 10 13:30:10 2012 -0700

    Actually add the patch to git.

 polybori-gcc47.patch |   22 ++++++++++++++++++++++
 1 files changed, 22 insertions(+), 0 deletions(-)
---
diff --git a/polybori-gcc47.patch b/polybori-gcc47.patch
new file mode 100644
index 0000000..366a1e2
--- /dev/null
+++ b/polybori-gcc47.patch
@@ -0,0 +1,22 @@
+--- ./libpolybori/include/polybori/orderings/CBlockOrderingFacade.h.orig	2011-09-07 14:25:22.000000000 -0600
++++ ./libpolybori/include/polybori/orderings/CBlockOrderingFacade.h	2012-01-10 13:10:32.797502088 -0700
+@@ -91,7 +91,7 @@ public:
+     CacheManager<order_lead_tag> cache_mgr(poly.ring());
+     typename base_type::descending_property descending;
+ 
+-    return monom(  dd_block_degree_lead(cache_mgr, blockDegCache, 
++    return this->monom( dd_block_degree_lead(cache_mgr, blockDegCache, 
+                                         poly.navigation(), m_indices.begin(),
+                                         set_type(poly.ring()), descending) );
+   }
+--- ./libpolybori/include/polybori/iterators/CTermStack.h.orig	2012-01-10 13:08:03.692057537 -0700
++++ ./libpolybori/include/polybori/iterators/CTermStack.h	2012-01-10 13:11:14.958658727 -0700
+@@ -853,7 +853,7 @@ public:
+     PBORI_ASSERT(m_zero.isValid());
+     PBORI_ASSERT(m_zero.isEmpty());
+ 
+-    push(m_zero);
++    this->push(m_zero);
+   }
+ 
+ private: