changeset 4984 | d17004d4c13b |
parent 4977 | 6cec2c0ffdbf |
child 5038 | 301c37df931d |
--- a/src/Pure/ML-Systems/polyml.ML Thu May 28 17:02:01 1998 +0200 +++ b/src/Pure/ML-Systems/polyml.ML Thu May 28 17:02:29 1998 +0200 @@ -29,7 +29,7 @@ (* prompts *) -fun ml_prompts p1 p2 = (PolyML.Compiler.prompt1 := p1; PolyML.Compiler.prompt1 := p2); +fun ml_prompts p1 p2 = (PolyML.Compiler.prompt1 := p1; PolyML.Compiler.prompt2 := p2); (* toplevel pretty printing (see also Pure/install_pp.ML) *)