# HG changeset patch
# User wenzelm
# Date 896367749 -7200
# Node ID d17004d4c13bacbf5692e742fa26c3e893d48d45
# Parent  2c567fcdb36d7ecfadab075f7a5fefb79cbaa60d
fixed ml_prompts;

diff -r 2c567fcdb36d -r d17004d4c13b src/Pure/ML-Systems/polyml.ML
--- 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) *)