- fixed a small oops: iprint() didn't reset the number output format to decimal
authorChristian Bauer <Christian.Bauer@uni-mainz.de>
Wed, 5 Apr 2000 21:01:11 +0000 (21:01 +0000)
committerChristian Bauer <Christian.Bauer@uni-mainz.de>
Wed, 5 Apr 2000 21:01:11 +0000 (21:01 +0000)
ginsh/ginsh_parser.yy

index 52a134f..7e9049f 100644 (file)
@@ -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;