summaryrefslogtreecommitdiff
path: root/src/rebar_prv_dialyzer.erl
diff options
context:
space:
mode:
Diffstat (limited to 'src/rebar_prv_dialyzer.erl')
-rw-r--r--src/rebar_prv_dialyzer.erl3
1 files changed, 1 insertions, 2 deletions
diff --git a/src/rebar_prv_dialyzer.erl b/src/rebar_prv_dialyzer.erl
index 0376918..fc13de1 100644
--- a/src/rebar_prv_dialyzer.erl
+++ b/src/rebar_prv_dialyzer.erl
@@ -261,8 +261,7 @@ read_plt(_State, Plt) ->
{error, no_such_file} ->
error;
{error, not_valid} ->
- Error = io_lib:format("Could not read the PLT file ~p", [Plt]),
- throw({dialyzer_error, Error});
+ error;
{error, read_error} ->
Error = io_lib:format("Could not read the PLT file ~p", [Plt]),
throw({dialyzer_error, Error})