]> www.ginac.de Git - cln.git/blobdiff - src/vector/cl_GV_number_debug.cc
Fix hack from 2008-01-20 that broke on ARM.
[cln.git] / src / vector / cl_GV_number_debug.cc
index 1e9e2bd9237c44e9394a81a7a70416657d3fd02e..ad20f3963e77dc5cfa75398c2deea6379d36aef6 100644 (file)
@@ -8,15 +8,17 @@
 
 // Implementation.
 
-#include "cl_output.h"
-#include "cl_GV_number.h"
-#include "cl_io.h"
+#include "cln/output.h"
+#include "cln/GV_number.h"
+#include "cln/io.h"
 #include "cl_GV_io.h"
 
-static void print_for_debug (cl_ostream stream, const cl_print_flags& flags, const cl_number& z)
+namespace cln {
+
+static void print_for_debug (std::ostream& stream, const cl_print_flags& flags, const cl_number& z)
 {
        unused stream; // must be cl_debugout
-       unused flags; // must be cl_default_print_flags
+       unused flags; // must be default_print_flags
        z.debug_print();
 }
 
@@ -24,15 +26,17 @@ static void dprint (cl_heap* pointer)
 {
        var const cl_GV_number& obj = *(const cl_GV_number*)&pointer;
        fprint(cl_debugout, "(cl_GV_number) ");
-       print_vector(cl_debugout,cl_default_print_flags,&print_for_debug,obj);
+       print_vector(cl_debugout,default_print_flags,&print_for_debug,obj);
 }
 AT_INITIALIZATION(dprint_GV_number)
 { cl_register_type_printer(cl_class_gvector_number,dprint); }
 
-// This dummy links in this module when <cl_GV_number.h> requires it.
+// This dummy links in this module when <cln/GV_number.h> requires it.
 int cl_GV_number_debug_module;
 
 extern int cl_GV_I_debug_module;
 static void* dummy[] = { &dummy,
        &cl_GV_I_debug_module
 };
+
+}  // namespace cln