summaryrefslogtreecommitdiff
path: root/appl/lib/spki/verifier.b
diff options
context:
space:
mode:
Diffstat (limited to 'appl/lib/spki/verifier.b')
-rw-r--r--appl/lib/spki/verifier.b6
1 files changed, 4 insertions, 2 deletions
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;