[SCM] polybori: Polynomials over Boolean Rings branch, upstream-hg, updated. b4a5cffaa908c53e1d958a42110f8c4dad853aa3

[Alexander Dreyer]

The following commit has been merged in the upstream-hg branch:
commit b5a50527346b64aeab605d1abb984ce7390a4d34
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Mon Feb 27 17:09:46 2012 +0100

    FIX: removed erroreous check-in of leadingTerms.h

diff --git a/groebner/include/polybori/groebner/leadingTerms.h b/groebner/include/polybori/groebner/leadingTerms.h
deleted file mode 100644
index 2ad5201..0000000
--- a/groebner/include/polybori/groebner/leadingTerms.h
+++ /dev/null
@@ -1,47 +0,0 @@
-// -*- c++ -*-
-//*****************************************************************************
-/** @file leadingTerms.h 
- *
- * @author Michael Brickenstein (original) and Alexander Dreyer (refactored)
- * @date 2012-01-31 
- *
- * This file includes the definition of the class @c leadingTerms.
- *
- * @par Copyright:
- *   (c) 2006-2012 by The PolyBoRi Team
- *
-**/
-//*****************************************************************************
-
-#ifndef polybori_groebner_leadingTerms_h_
-#define polybori_groebner_leadingTerms_h_
-
-// include basic definitions
-#include "groebner_defs.h"
-
-BEGIN_NAMESPACE_PBORIGB
-
-/** @class leadingTerms
- * @brief This class defines leadingTerms.
- *
- **/
-
-class leadingTerms {
-  /// Type of *this
-  typedef leadingTerms self;
-
-public:
-  /// Default constructor
-  leadingTerms() {}
-
-  /// Copy constructor
-  leadingTerms(const self& rhs) {}
-
-  /// Destructor
-  ~leadingTerms() {}
-
-};
-
-END_NAMESPACE_PBORIGB
-
-#endif /* polybori_groebner_leadingTerms_h_ */

-- 
polybori: Polynomials over Boolean Rings