diff options
| author | Son HO | 2024-03-29 18:02:40 +0100 |
|---|---|---|
| committer | GitHub | 2024-03-29 18:02:40 +0100 |
| commit | f4a89caad1459f2f72295c5baa284fe1f9b4c39f (patch) | |
| tree | 70237cbc5ff7e0868c9b6918cae21f9bc8ba6272 /Makefile | |
| parent | bfcec191f68a4cbfab14f5b92a8d6a46d6b02539 (diff) | |
| parent | 1a86cac476c1f5c0d64d5a12db267d3ac651561b (diff) | |
Merge pull request #95 from AeneasVerif/escherichia/errors
Escherichia/errors
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -105,7 +105,7 @@ verify: # Reformat the project .PHONY: format format: - cd compiler && dune promote + cd compiler && dune build @fmt --auto-promote # The commands to run Charon to generate the .llbc files ifeq (, $(REGEN_LLBC)) |