diff options
Diffstat (limited to 'xacml-proofs/compiler/bin/dune')
| -rw-r--r-- | xacml-proofs/compiler/bin/dune | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/xacml-proofs/compiler/bin/dune b/xacml-proofs/compiler/bin/dune index 3d787bf..6b16152 100644 --- a/xacml-proofs/compiler/bin/dune +++ b/xacml-proofs/compiler/bin/dune @@ -1,4 +1,5 @@ -(executable - (public_name compiler) - (name main) - (libraries core compiler)) +(executables + (public_names compiler request_compiler) + (names main request) + (libraries core compiler)) + |