diff options
| author | Stavros Aronis <[email protected]> | 2012-01-20 16:18:23 +0100 |
|---|---|---|
| committer | Stavros Aronis <[email protected]> | 2012-02-22 13:04:27 +0100 |
| commit | 7c3a98b560a80878c603fabe26ca4a572bfe9122 (patch) | |
| tree | 294b38fe52b79277ae497af078d3880aef25c699 | |
| parent | 4e11f884a5d138ce01fc67add1372ad0cadd2a22 (diff) | |
| download | otp-7c3a98b560a80878c603fabe26ca4a572bfe9122.tar.gz otp-7c3a98b560a80878c603fabe26ca4a572bfe9122.tar.bz2 otp-7c3a98b560a80878c603fabe26ca4a572bfe9122.zip | |
Cleanup debug messages in dialyzer_dataflow
| -rw-r--r-- | lib/dialyzer/src/dialyzer_dataflow.erl | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/lib/dialyzer/src/dialyzer_dataflow.erl b/lib/dialyzer/src/dialyzer_dataflow.erl index 6008dba080..8930054210 100644 --- a/lib/dialyzer/src/dialyzer_dataflow.erl +++ b/lib/dialyzer/src/dialyzer_dataflow.erl @@ -67,7 +67,6 @@ %%-define(DEBUG, true). %%-define(DEBUG_PP, true). -%%-define(DEBUG_TIME, true). %%-define(DOT, true). -ifdef(DEBUG). @@ -77,9 +76,6 @@ -define(debug(S_, L_), ok). -endif. -%%-define(debug1(S_, L_), io:format(S_, L_)). -%%-define(debug1(S_, L_), ok). - %%-------------------------------------------------------------------- -define(no_arg, no_arg). @@ -2913,7 +2909,7 @@ state__warning_mode(#state{warning_mode = WM}) -> state__set_warning_mode(#state{tree_map = TreeMap, fun_tab = FunTab, races = Races} = State) -> - ?debug("Starting warning pass\n", []), + ?debug("==========\nStarting warning pass\n==========\n", []), Funs = dict:fetch_keys(TreeMap), State#state{work = init_work([top|Funs--[top]]), fun_tab = FunTab, warning_mode = true, |