diff options
author | Chimrod <> | 2023-09-25 10:29:36 +0200 |
---|---|---|
committer | Chimrod <> | 2023-09-25 10:29:36 +0200 |
commit | 000d8bcc955e57b8e1278c05763eff5bd97862b8 (patch) | |
tree | aa1e22d56dc685124dc1f8d8222d78ea93b9e1e1 /bin | |
parent | c2fdbf2eb9bac4d92258eda5da3249cd2ef07e55 (diff) |
Renamed the main application
Diffstat (limited to 'bin')
-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 |