diff --git a/packages/dev-lang/fstar/fstar-scm.exheres-0 b/packages/dev-lang/fstar/fstar-scm.exheres-0
index 990522d5..b99b8fb8 100644
--- a/packages/dev-lang/fstar/fstar-scm.exheres-0
+++ b/packages/dev-lang/fstar/fstar-scm.exheres-0
@@ -35,6 +35,7 @@ DEPENDENCIES="
         dev-lang/ocaml[>=4.02.2]
         dev-ocaml/batteries
         dev-ocaml/findlib
+        dev-ocaml/pprint
         dev-ocaml/yojson
         dev-ocaml/zarith
     build+run: