Skip to content

Commit d9c8e64

Browse files
committed
Avoid singleton warnings when compiled with optimization enabled.
1 parent 81a8288 commit d9c8e64

File tree

1 file changed

+8
-6
lines changed

1 file changed

+8
-6
lines changed

http_openid.pl

+8-6
Original file line numberDiff line numberDiff line change
@@ -546,8 +546,8 @@
546546
assert_openid_in_session(openid_login(OpenIDLogin, OpenID, Server, Target)).
547547

548548
assert_openid_in_session(Term) :-
549-
( http_in_session(Session)
550-
-> debug(openid(verify), 'Assert ~p in ~p', [Term, Session])
549+
( http_in_session(_0Session)
550+
-> debug(openid(verify), 'Assert ~p in ~p', [Term, _0Session])
551551
; debug(openid(verify), 'No session!', [])
552552
),
553553
http_session_assert(Term).
@@ -565,16 +565,18 @@
565565
openid_server(OpenIDLogin, OpenID, Server, _Target).
566566

567567
openid_server(OpenIDLogin, OpenID, Server, Target) :-
568-
http_in_session(Session),
568+
http_in_session(_0Session),
569569
( http_session_data(openid_login(OpenIDLogin, OpenID, Server, Target))
570570
-> true
571-
; http_session_data(openid_login(OpenIDLogin1, OpenID1, Server1, Target1)),
571+
; http_session_data(openid_login(_0OpenIDLogin1, _0OpenID1,
572+
_0Server1, _0Target1)),
572573
debug(openid(verify), '~p \\== ~p',
573574
[ openid_login(OpenIDLogin, OpenID, Server, Target),
574-
openid_login(OpenIDLogin1, OpenID1, Server1, Target1)
575+
openid_login(_0OpenIDLogin1, _0OpenID1, _0Server1, _0Target1)
575576
]),
576577
fail
577-
; debug(openid(verify), 'No openid_login/4 term in session ~p', [Session]),
578+
; debug(openid(verify), 'No openid_login/4 term in session ~p',
579+
[_0Session]),
578580
fail
579581
).
580582

0 commit comments

Comments
 (0)