--- ./polybori/src/CCheckedIdx.cc.orig	2011-09-05 17:11:22.000000000 -0600
+++ ./polybori/src/CCheckedIdx.cc	2011-09-07 15:59:56.582554627 -0600
@@ -1,6 +1,6 @@
 // -*- c++ -*-
 //*****************************************************************************
-/** @file CCheckedIdx.c
+/** @file CCheckedIdx.cc
  *
  * @author Alexander Dreyer
  * @date 2011-02-31
--- ./polybori/include/CTermStack.h.orig	2011-09-05 17:11:22.000000000 -0600
+++ ./polybori/include/CTermStack.h	2011-09-07 15:59:37.112952015 -0600
@@ -403,7 +403,7 @@
     bool invalid = true;
     while (!base::empty() && invalid) {
       incrementElse();
-      if (invalid = base::isInvalid())
+      if ((invalid = base::isInvalid()))
         base::decrementNode();
     }
   }
@@ -611,7 +611,7 @@
     while (!atBegin() && invalid) {
       assert(!base::isConstant());
       base::incrementElse();
-      if (invalid = base::isInvalid())
+      if ((invalid = base::isInvalid()))
         base::decrementNode();
     }
   }
@@ -785,7 +785,7 @@
         }
         base::gotoEnd();
 
-        if (doloop = (base::isInvalid() || (base::size() != size)) )
+        if ((doloop = (base::isInvalid() || (base::size() != size)) ))
           base::decrementNode();
 
     } while (!base::empty() && doloop);
--- ./polybori/include/CCallbackWrapper.h.orig	2011-09-05 17:11:22.000000000 -0600
+++ ./polybori/include/CCallbackWrapper.h	2011-09-07 16:02:30.144421218 -0600
@@ -30,7 +30,7 @@
  * If applies a stored member function pointer (together with a stored object
  * reference) to the argument of operator().
  *
- * It is to be used as a face of @Type, e. g. for @c CCallbackWrapper below.
+ * It is to be used as a face of @c Type, e. g. for @c CCallbackWrapper below.
  *
  * @note Specialized variant to void member functions
  * @attention Currently, the class supports unary functions only.
--- ./polybori/include/order_tags.h.orig	2011-09-05 17:11:22.000000000 -0600
+++ ./polybori/include/order_tags.h	2011-09-07 16:01:03.231194487 -0600
@@ -35,7 +35,7 @@
  **/
 struct dp_asc_tag {};
 
-/**@class block_tag<Tag>
+/**@class block_tag
  * @brief Marker for block orderings.
  **/
 template <class TagType>
--- ./polybori/include/CCuddInterface.h.orig	2011-09-05 17:11:22.000000000 -0600
+++ ./polybori/include/CCuddInterface.h	2011-09-07 15:59:37.112952015 -0600
@@ -43,15 +43,15 @@
   // get cudd error texts
 inline const char* error_text(DdManager* mgr) {
     switch (Cudd_ReadErrorCode(mgr)) {
-    CUDD_MEMORY_OUT:
+    case CUDD_MEMORY_OUT:
       return("Out of memory.");
-    CUDD_TOO_MANY_NODES:
+    case CUDD_TOO_MANY_NODES:
       return("To many nodes.");
-    CUDD_MAX_MEM_EXCEEDED:
+    case CUDD_MAX_MEM_EXCEEDED:
       return("Maximum memory exceeded.");
-    CUDD_INVALID_ARG:
+    case CUDD_INVALID_ARG:
       return("Invalid argument.");
-    CUDD_INTERNAL_ERROR:
+    case CUDD_INTERNAL_ERROR:
       return("Internal error.");
     }
     return("Unexpected error.");