Changes in doc/generic_types/evaluation/cpp-print.hpp [a381b46:c87cd93]

File:

• doc/generic_types/evaluation/cpp-print.hpp (modified) (2 diffs)

doc/generic_types/evaluation/cpp-print.hpp

@@ -2 +2 @@
 #include <iomanip>
 #include <iostream>
-#include <utility>
+#include "cpp-pair.hpp"
 
 template<typename T> void print(std::ostream& out, const T& x) { out << x; }
@@ -14 +14 @@
 
 template<typename R, typename S> 
-std::ostream& operator<< (std::ostream& out, const std::pair<R, S>& x) {
+std::ostream& operator<< (std::ostream& out, const pair<R, S>& x) {
         out << "[";
         print(out, x.first);