[m-rev.] diff: fix type checking bug (resend)

[Mark Brown]

Estimated hours taken: 0
Branches: main

compiler/typeclasses.m:
	Remove some debugging code I accidentally committed in my previous
	change.

Index: compiler/typeclasses.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/typeclasses.m,v
retrieving revision 1.22
diff -u -r1.22 typeclasses.m
--- compiler/typeclasses.m	3 Sep 2007 11:44:06 -0000	1.22
+++ compiler/typeclasses.m	4 Sep 2007 05:04:38 -0000
@@ -121,9 +121,6 @@
         TypeAssignSet0 = [_ | _],
         TypeAssignSet1 = []
     ->
-        trace [io(!IO)] (
-            io.write_string("HERE\n", !IO)
-        ),
         Spec = report_unsatisfiable_constraints(!.Info, TypeAssignSet0),
         typecheck_info_add_error(Spec, !Info),
         DeleteConstraints = (pred(TA0::in, TA::out) is det :-
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------