- fixed a small oops: iprint() didn't reset the number output format to decimal

diff --git a/ginsh/ginsh_parser.yy b/ginsh/ginsh_parser.yy
index 52a134f599fb0a9e8fee39ab8bc482f3bfba505d..7e9049f761bcd3e55e3d747c8f6cbf7fb9b2d0f4 100644 (file)
--- a/ginsh/ginsh_parser.yy
+++ b/ginsh/ginsh_parser.yy
@@ -145,7 +145,7 @@ line        : ';'
                        long i = ex_to_numeric(e).to_long();
                        cout << i << endl;
                        cout << "#o" << oct << i << endl;
-                       cout << "#x" << hex << i << endl;
+                       cout << "#x" << hex << i << dec << endl;
                } catch (exception &e) {
                        cerr << e.what() << endl;
                        YYERROR;