aboutsummaryrefslogtreecommitdiff
path: root/bin/dune
diff options
context:
space:
mode:
Diffstat (limited to 'bin/dune')
-rw-r--r--bin/dune2
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/dune b/bin/dune
index 0702a84..09c2009 100644
--- a/bin/dune
+++ b/bin/dune
@@ -11,4 +11,4 @@
; lang/traditions.ini (which book a reference DENOTES, {!Colitur_citation.Book}) --
; a sibling library to [colitur_naming] (what a book is CALLED), not a
; replacement for it.
- (libraries colitur_kernel rite_ef colitur_render colitur_naming colitur_citation unix))
+ (libraries colitur_kernel rite_ef rite_of colitur_render colitur_naming colitur_citation unix))