diff --git a/Solver_interface/include/CGAL/Mixed_integer_program_traits.h b/Solver_interface/include/CGAL/Mixed_integer_program_traits.h
index 190a44ecd1a..9a5a1049e7b 100644
--- a/Solver_interface/include/CGAL/Mixed_integer_program_traits.h
+++ b/Solver_interface/include/CGAL/Mixed_integer_program_traits.h
@@ -389,7 +389,7 @@ namespace CGAL {
 	//////////////////////////////////////////////////////////////////////////
 
 	// implementation
-
+#ifndef DOXYGEN_RUNNING
 	template<typename FT>
         FT Bound<FT>::infinity_ = 1e20;		// values larger than this value are considered infinity
 
@@ -453,7 +453,6 @@ namespace CGAL {
 			return solution_value_;
 	}
 
-
 	//////////////////////////////////////////////////////////////////////////
 
 	template<typename FT>
@@ -553,7 +552,6 @@ namespace CGAL {
 		objective_->clear();
 	}
 
-	/// \cond SKIP_IN_MANUAL
 	namespace internal {
 		/**
 		* Converts an integer v to a string of specified 'width' by
@@ -566,7 +564,6 @@ namespace CGAL {
 			return string_stream.str();
 		}
 	}
-	/// \endcond
 
 	template<typename FT>
 	typename Mixed_integer_program_traits<FT>::Variable* Mixed_integer_program_traits<FT>::create_variable(
@@ -714,7 +711,7 @@ namespace CGAL {
 		std::size_t num = number_of_binary_variables();
 		return (num > 0) && (num == variables_.size());
 	}
-
+#endif
 } // namespace CGAL
 
 #endif // CGAL_MIXED_INTEGER_PROGRAM_TRAITS_H