Jerry James 9ffc59e
--- ./bundled/libnormaliz/apps/polytope/src/normaliz.cc.orig	2014-04-04 12:57:29.000000000 -0600
Jerry James 9ffc59e
+++ ./bundled/libnormaliz/apps/polytope/src/normaliz.cc	2014-08-06 20:00:00.000000000 -0600
Jerry James 9ffc59e
@@ -72,7 +72,7 @@ namespace polymake { namespace polytope
Jerry James 9ffc59e
          std::transform(rows(pmdata).begin(),rows(pmdata).end(),
Jerry James 9ffc59e
                std::back_inserter(data),&pmVector_to_stdvector<Scalar>);
Jerry James 9ffc59e
          return libnormaliz::Cone<Scalar>( data, 
Jerry James 9ffc59e
-               from_ineq ? libnormaliz::Type::hyperplanes
Jerry James 9ffc59e
+               from_ineq ? libnormaliz::Type::inequalities
Jerry James 9ffc59e
                : libnormaliz::Type::integral_closure );
Jerry James 9ffc59e
       }
Jerry James 9ffc59e