[m-dev.] trivial diff: update the term browser help message in the Morphine tests

Erwan Jahier Erwan.Jahier at irisa.fr
Wed Aug 16 17:19:01 AEST 2000


Estimated hours taken: 0.1
 
Update the help message of the term browser in the Morphine non regression 
tests.

extras/morphine/non-regression-tests/queens.exp:
	Change the default depth in the term browser from 10 to 3 in
	the help message.

Index: queens.exp
===================================================================
RCS file: /home/mercury1/repository/mercury/extras/morphine/non-regression-tests/queens.exp,v
retrieving revision 1.3
diff -u -r1.3 queens.exp
--- queens.exp  1999/12/21 08:50:39     1.3
+++ queens.exp  2000/08/16 07:12:56
@@ -265,7 +265,7 @@
        quit           -- quit browser
 SICStus Prolog style commands are:
        p              -- print
-       < [n]          -- set depth (default is 10)
+       < [n]          -- set depth (default is 3)
        ^ [path]       -- cd [path]
        ?              -- help
        h              -- help
@@ -284,7 +284,7 @@
        quit           -- quit browser
 SICStus Prolog style commands are:
        p              -- print
-       < [n]          -- set depth (default is 10)
+       < [n]          -- set depth (default is 3)
        ^ [path]       -- cd [path]
        ?              -- help
        h              -- help
@@ -303,7 +303,7 @@
        quit           -- quit browser
 SICStus Prolog style commands are:
        p              -- print
-       < [n]          -- set depth (default is 10)
+       < [n]          -- set depth (default is 3)
        ^ [path]       -- cd [path]
        ?              -- help
        h              -- help
-- 
R1.


--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------



More information about the developers mailing list