diff options
| -rw-r--r-- | bin/dune | 2 | ||||
| -rw-r--r-- | bin/qsp_parser.ml (renamed from bin/main.ml) | 0 |
2 files changed, 1 insertions, 1 deletions
@@ -1,6 +1,6 @@ (executable (public_name qsp_parser) - (name main) + (name qsp_parser) (libraries qsp_syntax qsp_parser) diff --git a/bin/main.ml b/bin/qsp_parser.ml index 0026b73..0026b73 100644 --- a/bin/main.ml +++ b/bin/qsp_parser.ml |