From d6b4eae8eb0a5ca3119414005e483fedd63a62d6 Mon Sep 17 00:00:00 2001 From: forsyth Date: Mon, 17 Jan 2011 11:10:35 +0000 Subject: 20110117-1110 --- appl/lib/spki/verifier.b | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'appl/lib/spki/verifier.b') diff --git a/appl/lib/spki/verifier.b b/appl/lib/spki/verifier.b index b2304a10..ffcdfcad 100644 --- a/appl/lib/spki/verifier.b +++ b/appl/lib/spki/verifier.b @@ -7,8 +7,9 @@ implement Verifier; include "sys.m"; sys: Sys; -include "ipints.m"; -include "crypt.m"; +include "keyring.m"; + kr: Keyring; + IPint: import kr; include "bufio.m"; bufio: Bufio; @@ -31,6 +32,7 @@ debug := 0; init() { sys = load Sys Sys->PATH; + kr = load Keyring Keyring->PATH; bufio = load Bufio Bufio->PATH; sexprs = load Sexprs Sexprs->PATH; spki = load SPKI SPKI->PATH; -- cgit v1.2.3