changeset 13110:2d5035847529

Add Júlio Hoffimann Mendes to contributors.in
author John W. Eaton <jwe@octave.org>
date Wed, 07 Sep 2011 09:38:38 -0400
parents d44d7f3c7998
children ebb42fb2da04
files doc/interpreter/contributors.in src/ov.h
diffstat 2 files changed, 3 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- a/doc/interpreter/contributors.in
+++ b/doc/interpreter/contributors.in
@@ -145,6 +145,7 @@
 G. D. McBain
 Alexander Mamonov
 Christoph Mayer
+Júlio Hoffimann Mendes
 Thorsten Meyer
 Petr Mikulik
 Stefan Monnier
--- a/src/ov.h
+++ b/src/ov.h
@@ -987,9 +987,8 @@
   bool print_name_tag (std::ostream& os, const std::string& name) const
     { return rep->print_name_tag (os, name); }
 
-  void print_with_name (std::ostream& os, const std::string& name,
-                        bool print_padding = true) const
-    { rep->print_with_name (os, name, print_padding); }
+  void print_with_name (std::ostream& os, const std::string& name) const
+  { rep->print_with_name (os, name, true); }
 
   int type_id (void) const { return rep->type_id (); }