Merge branch 'sail2' of https://github.com/rems-project/sail into sail2

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"