Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fixed ml_prompts;
authorwenzelm
Thu, 28 May 1998 17:02:29 +0200
changeset 4984 d17004d4c13b
parent 4983 2c567fcdb36d
child 4985 aaaf64da9e3a
fixed ml_prompts;
src/Pure/ML-Systems/polyml.ML file | annotate | diff | comparison | revisions 
--- 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) *)
isabelle