diff options
| author | forsyth <forsyth@vitanuova.com> | 2011-01-17 11:10:35 +0000 |
|---|---|---|
| committer | forsyth <forsyth@vitanuova.com> | 2011-01-17 11:10:35 +0000 |
| commit | d6b4eae8eb0a5ca3119414005e483fedd63a62d6 (patch) | |
| tree | 4959b04b1ae02ce5ccb4b3c0a8c459ff46587eb7 /appl/lib/spki/verifier.b | |
| parent | 9e6910dc0c747c8f30b87f6482f4eadb48ad6654 (diff) | |
20110117-1110
Diffstat (limited to 'appl/lib/spki/verifier.b')
| -rw-r--r-- | appl/lib/spki/verifier.b | 6 |
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; |