aboutsummaryrefslogtreecommitdiffstats
path: root/lib/orber/src/orber_ifr_repository.erl
diff options
context:
space:
mode:
authorHans Bolinder <[email protected]>2016-02-18 15:01:15 +0100
committerHans Bolinder <[email protected]>2016-02-22 12:09:18 +0100
commitf10621e0cd4321834d072d2c495fc84066f04cd3 (patch)
tree5cea83359579da4881e7d839e67c97755eaa4177 /lib/orber/src/orber_ifr_repository.erl
parent89d7e21cf4ae988c57c8ef047bfe85127875c70c (diff)
downloadotp-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.erl3
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",