mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2025-12-11 20:03:28 +00:00
Code Issues Projects Releases Wiki Activity

Delete some crud at the end of this file

Browse Source 
Estimated hours taken: 0.25

samples/solutions/some_solutions.m:
	Delete some crud at the end of this file
	that I had somehow accidentally included there
	when I committed it.
This commit is contained in:
Fergus Henderson
1999-12-13 16:52:10 +00:00
parent 36b0ad2f64
commit 65044c0731
1 changed files with 0 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
samples/solutions/some_solutions.m
View File

@@ -47,15 +47,3 @@ get_next(String, More) -->
else More = no
}.
% This source file is hereby placed in the public domain. -fjh (the author).
:- module committed_choice.
:- interface.
:- import_module io.
:- pred main(io__state::di, io__state::uo) is cc_multi.
:- implementation.
main --> io__write_string("Hello, world\n").
main --> io__write_string("Goodbye, world\n").