diff options
Diffstat (limited to 'appl/lib/spki/verifier.b')
| -rw-r--r-- | appl/lib/spki/verifier.b | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/appl/lib/spki/verifier.b b/appl/lib/spki/verifier.b index ffcdfcad..b2304a10 100644 --- a/appl/lib/spki/verifier.b +++ b/appl/lib/spki/verifier.b @@ -7,9 +7,8 @@ implement Verifier; include "sys.m"; sys: Sys; -include "keyring.m"; - kr: Keyring; - IPint: import kr; +include "ipints.m"; +include "crypt.m"; include "bufio.m"; bufio: Bufio; @@ -32,7 +31,6 @@ 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; |