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