aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-rw-r--r--vampire.asd2
1 files changed, 1 insertions, 1 deletions
diff --git a/vampire.asd b/vampire.asd
index 92b5b2e..aa47f23 100644
--- a/vampire.asd
+++ b/vampire.asd
@@ -10,7 +10,7 @@
#:bknr.datastore
#:legion
#:defclass-std
- #:binding-arrows)
+ #:ironclad)
:components ((:file "package")
(:file "definition-macros")
(:file "utilities")