[m-rev.] trivial diff: delete duplicated foreign clauses

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main

library/benchmarking.m:
 	Delete some duplicated foreign clauses.

Julien.

Index: benchmarking.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/library/benchmarking.m,v
retrieving revision 1.74
diff -u -r1.74 benchmarking.m
--- benchmarking.m	1 Dec 2006 04:53:41 -0000	1.74
+++ benchmarking.m	6 Feb 2007 14:44:25 -0000
@@ -1043,20 +1043,6 @@
  #endif
  ").

-:- pragma foreign_proc(c, turn_off_time_profiling,
-        [will_not_call_mercury, thread_safe, tabled_for_io], "
-#ifdef MR_MPROF_PROFILE_TIME
-    MR_prof_turn_off_time_profiling();
-#endif
-").
-
-:- pragma foreign_proc(c, turn_on_time_profiling,
-        [will_not_call_mercury, thread_safe, tabled_for_io], "
-#ifdef MR_MPROF_PROFILE_TIME
-    MR_prof_turn_on_time_profiling();
-#endif
-").
-
  :- pragma foreign_proc(c, turn_off_heap_profiling,
          [will_not_call_mercury, thread_safe, tabled_for_io], "
      MR_prof_turn_off_heap_profiling();

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