diff options
| author | Guillaume Bour <guillaume@bour.cc> | 2016-07-30 13:42:00 +0200 |
|---|---|---|
| committer | Guillaume Bour <guillaume@bour.cc> | 2016-07-30 13:42:00 +0200 |
| commit | b668329a9e7929f07f00d9a0647714690da4b4bd (patch) | |
| tree | 1bb610ae621fcb1ae311fab9bf3cf2e12206deb4 | |
| parent | ffe5e42521aef4315be97f7baff2c7819fd79237 (diff) | |
Fix return error on `not_valid` to force .plt file regeneration
| -rw-r--r-- | src/rebar_prv_dialyzer.erl | 3 |
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}) |