diff options
author | Hans Bolinder <[email protected]> | 2016-02-18 15:01:15 +0100 |
---|---|---|
committer | Hans Bolinder <[email protected]> | 2016-02-22 12:09:18 +0100 |
commit | f10621e0cd4321834d072d2c495fc84066f04cd3 (patch) | |
tree | 5cea83359579da4881e7d839e67c97755eaa4177 /lib/orber/src/orber_ifr_repository.erl | |
parent | 89d7e21cf4ae988c57c8ef047bfe85127875c70c (diff) | |
download | otp-f10621e0cd4321834d072d2c495fc84066f04cd3.tar.gz otp-f10621e0cd4321834d072d2c495fc84066f04cd3.tar.bz2 otp-f10621e0cd4321834d072d2c495fc84066f04cd3.zip |
Fix a few dialyzer warnings
Diffstat (limited to 'lib/orber/src/orber_ifr_repository.erl')
-rw-r--r-- | lib/orber/src/orber_ifr_repository.erl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/orber/src/orber_ifr_repository.erl b/lib/orber/src/orber_ifr_repository.erl index 898fba99f3..8d52573e53 100644 --- a/lib/orber/src/orber_ifr_repository.erl +++ b/lib/orber/src/orber_ifr_repository.erl @@ -2,7 +2,7 @@ %% %% %CopyrightBegin% %% -%% Copyright Ericsson AB 1997-2009. All Rights Reserved. +%% Copyright Ericsson AB 1997-2016. All Rights Reserved. %% %% Licensed under the Apache License, Version 2.0 (the "License"); %% you may not use this file except in compliance with the License. @@ -66,6 +66,7 @@ '_get_def_kind'({ObjType, ObjID}) ?tcheck(ir_Repository, ObjType) -> orber_ifr_irobject:'_get_def_kind'({ObjType, ObjID}). +-spec destroy(_) -> no_return(). destroy({ObjType, ObjID}) ?tcheck(ir_Repository, ObjType) -> orber:dbg("[~p] ~p:destroy(~p, ~p);~n" "Destroying a repository is an error.~n", |