diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -8,6 +8,9 @@ SRC= main.ml \ frontend/parser.mly \ frontend/lexer.mll \ frontend/ast_printer.ml \ + frontend/typing.ml \ + frontend/ast_util.ml \ + frontend/rename.ml \ abstract/formula.ml \ abstract/formula_printer.ml \ abstract/transform.ml \ @@ -17,8 +20,6 @@ SRC= main.ml \ abstract/nonrelational.ml \ abstract/intervals_domain.ml \ interpret/interpret.ml \ - interpret/ast_util.ml \ - interpret/rename.ml all: $(BIN) |