diff options
| author | Hans Bolinder <[email protected]> | 2013-04-24 14:17:19 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2013-04-24 14:17:19 +0200 |
| commit | 3cee6f0f5ddc03a9987c97be09d3c9bce473ba47 (patch) | |
| tree | 8683aefe51d954ef3595e27b72209858216d28a8 /lib/dialyzer/src/dialyzer_gui.erl | |
| parent | 1209686a614736ab091a5c036a14645610866ee5 (diff) | |
| parent | 0567be1e0ab0e133ea0aadb6fd33a1d8e976dc50 (diff) | |
| download | otp-3cee6f0f5ddc03a9987c97be09d3c9bce473ba47.tar.gz otp-3cee6f0f5ddc03a9987c97be09d3c9bce473ba47.tar.bz2 otp-3cee6f0f5ddc03a9987c97be09d3c9bce473ba47.zip | |
Merge branch 'hb/dialyzer/gui-bugfix/OTP-11057' into maint
* hb/dialyzer/gui-bugfix/OTP-11057:
[dialyzer] Fix a bug concerning the --gui and --wx options
Diffstat (limited to 'lib/dialyzer/src/dialyzer_gui.erl')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_gui.erl | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/lib/dialyzer/src/dialyzer_gui.erl b/lib/dialyzer/src/dialyzer_gui.erl index ac9844c22c..97e5752577 100644 --- a/lib/dialyzer/src/dialyzer_gui.erl +++ b/lib/dialyzer/src/dialyzer_gui.erl @@ -2,7 +2,7 @@ %%------------------------------------------------------------------------ %% %CopyrightBegin% %% -%% Copyright Ericsson AB 2006-2012. All Rights Reserved. +%% Copyright Ericsson AB 2006-2013. All Rights Reserved. %% %% The contents of this file are subject to the Erlang Public License, %% Version 1.1, (the "License"); you may not use this file except in @@ -1331,7 +1331,8 @@ build_analysis_record(#gui_state{mode = Mode, menu = Menu, options = Options, #analysis{defines = Options#options.defines, include_dirs = Options#options.include_dirs, plt = InitPlt, - start_from = StartFrom}. + start_from = StartFrom, + solvers = Options#options.solvers}. get_anal_files(#gui_state{chosen_box = ChosenBox}, StartFrom) -> Files = gs:read(ChosenBox, items), |