mirror of
https://github.com/Mercury-Language/mercury.git
synced 2025-12-16 06:14:59 +00:00
Fix an incorrect reference to runtime/mercury_trace.h.
Estimated hours taken: 0.1 browser/debugger_interface.m: Fix an incorrect reference to runtime/mercury_trace.h.
This commit is contained in:
@@ -42,8 +42,8 @@ dummy_pred_to_avoid_warning_about_nothing_exported.
|
||||
% The stuff defined below is similar to types goal_path and trace_port
|
||||
% defined in modules compiler/hlds_goal.m and compiler/trace.m.
|
||||
% This enumeration must be EXACTLY the same as the MR_trace_port enum in
|
||||
% runtime/mercury_trace.h, and in the same order, since the code assumes
|
||||
% the representation is the same.
|
||||
% runtime/mercury_trace_base.h, and in the same order, since the code
|
||||
% assumes the representation is the same.
|
||||
|
||||
:- type trace_port_type
|
||||
---> call
|
||||
|
||||
Reference in New Issue
Block a user