[m-dev.] diff: Fix a bug in the Morphine on-line help.

[Erwan Jahier]

I didn't use the unified diff as the file I am diffing is already a
unified diff and that would make it not very readable.

--
Estimated hours taken: 0.2

Fix a bug in the Morphine on-line help.

extras/morphine/source/patch.help:
	The documentation field of Morphine objects can be atoms or strings.
	So, make sure that it is a string before applying split_string/4
	to it.


Index: patch.help
===================================================================
RCS file: /home/mercury1/repository/mercury/extras/morphine/source/patch.help,v
retrieving revision 1.2
diff -r1.2 patch.help
2c2
< +++ help.op   Mon Dec 13 13:41:17 1999
---
> +++ help.op   Tue Aug 15 17:03:29 2000
81a82,83
> +     % To make sure that Msg is a string
> +     ( string(Msg) -> MsgStr = Msg ; atom_string(Msg, MsgStr) ),
83c85
< +     split_string(Msg, "\n\\", "", ListStr),
---
> +     split_string(MsgStr, "\n\\", "", ListStr),

-- 
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
--------------------------------------------------------------------------