Replace CL_REQUIRE/CL_PROVIDE(cl_I_ring) with portable code.

[cln.git] / include / cln / SV_integer.h

diff --git a/include/cln/SV_integer.h b/include/cln/SV_integer.h
index 3a1892b443f951f735166ddbef28bd3a75509501..aca62cc2a4d95af66b44954ebee4391446729017 100644 (file)
--- a/include/cln/SV_integer.h
+++ b/include/cln/SV_integer.h
@@ -19,7 +19,7 @@ public:
        // Constructors.
        cl_SV_I () : cl_SV<cl_I,cl_SV_RA> ((cl_heap_SV_I*) (cl_heap_SV_number*) cl_null_SV_number) {};
        cl_SV_I (const cl_SV_I&);
-       explicit cl_SV_I (uintL len) : cl_SV<cl_I,cl_SV_RA> ((cl_heap_SV_I*) cl_make_heap_SV_number(len)) {};
+       explicit cl_SV_I (uintC len) : cl_SV<cl_I,cl_SV_RA> ((cl_heap_SV_I*) cl_make_heap_SV_number(len)) {};
        // Assignment operators.
        cl_SV_I& operator= (const cl_SV_I&);
 };
@@ -33,14 +33,14 @@ inline const cl_SV_I copy (const cl_SV_I& vector)
 }
 
 // Output.
-inline void fprint (cl_ostream stream, const cl_SV_I& x)
+inline void fprint (std::ostream& stream, const cl_SV_I& x)
 {
        extern cl_print_flags default_print_flags;
-       extern void print_vector (cl_ostream stream, const cl_print_flags& flags, void (* fun) (cl_ostream, const cl_print_flags&, const cl_number&), const cl_SV_number& vector);
-       extern void print_integer (cl_ostream stream, const cl_print_flags& flags, const cl_I& z);
+       extern void print_vector (std::ostream& stream, const cl_print_flags& flags, void (* fun) (std::ostream&, const cl_print_flags&, const cl_number&), const cl_SV_number& vector);
+       extern void print_integer (std::ostream& stream, const cl_print_flags& flags, const cl_I& z);
        print_vector(stream, default_print_flags,
-                    (void (*) (cl_ostream, const cl_print_flags&, const cl_number&))
-                    (void (*) (cl_ostream, const cl_print_flags&, const cl_I&))
+                    (void (*) (std::ostream&, const cl_print_flags&, const cl_number&))
+                    (void (*) (std::ostream&, const cl_print_flags&, const cl_I&))
                     &print_integer,
                     x);
 }