diff options
| author | Stavros Aronis <[email protected]> | 2012-02-17 18:12:58 +0100 |
|---|---|---|
| committer | Henrik Nord <[email protected]> | 2012-05-21 15:31:18 +0200 |
| commit | 15529b1392c3c3d452dcae3ce6786ff41fda9f13 (patch) | |
| tree | 70e44de3692d7a466c3157dc4e5e3822e0a253f7 /lib/dialyzer/src/Makefile | |
| parent | 0448c64be671017a6ef25e9122f493f433e60811 (diff) | |
| download | otp-15529b1392c3c3d452dcae3ce6786ff41fda9f13.tar.gz otp-15529b1392c3c3d452dcae3ce6786ff41fda9f13.tar.bz2 otp-15529b1392c3c3d452dcae3ce6786ff41fda9f13.zip | |
Generalize coordinator and worker
Diffstat (limited to 'lib/dialyzer/src/Makefile')
| -rw-r--r-- | lib/dialyzer/src/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/dialyzer/src/Makefile b/lib/dialyzer/src/Makefile index 2f1eaf5754..39b1b3eb3e 100644 --- a/lib/dialyzer/src/Makefile +++ b/lib/dialyzer/src/Makefile @@ -64,8 +64,8 @@ MODULES = \ dialyzer_races \ dialyzer_succ_typings \ dialyzer_typesig \ - dialyzer_typesig_coordinator \ - dialyzer_typesig_worker \ + dialyzer_coordinator \ + dialyzer_worker \ dialyzer_utils HRL_FILES= dialyzer.hrl dialyzer_gui_wx.hrl |