diff options
Diffstat (limited to 'xacml-proofs/compiler/bin/dune')
| -rw-r--r-- | xacml-proofs/compiler/bin/dune | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/xacml-proofs/compiler/bin/dune b/xacml-proofs/compiler/bin/dune index c8c6569..6d76295 100644 --- a/xacml-proofs/compiler/bin/dune +++ b/xacml-proofs/compiler/bin/dune @@ -1,5 +1,5 @@ (executable (public_name compiler) (name main) - (libraries base compiler xml-light) + (libraries base compiler str xml-light) (preprocess (pps ppx_let))) |