summaryrefslogtreecommitdiff
path: root/src/META
diff options
context:
space:
mode:
Diffstat (limited to 'src/META')
-rw-r--r--src/META2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/META b/src/META
index 80194d98..60db4555 100644
--- a/src/META
+++ b/src/META
@@ -1,6 +1,6 @@
# META file of package sail:
description = "Sail is a language for describing the instruction-set architecture (ISA) semantics of processors."
-requires = "linenoise lem linksem omd base64 yojson"
+requires = "linenoise lem linksem omd base64 yojson pprint"
version = "0.8"
archive(byte) = "libsail.cma"
archive(native) = "libsail.cmxa"