Skip to content

GitLab

Commit 42989906 authored by Julien Signoles's avatar Julien Signoles
Browse files

[e-acsl:archi] lint: remove dead file

parent 2c9ad78f
Hide whitespace changes
Inline Side-by-side
.Makefile.lint
View file @ 42989906
......@@ -406,7 +406,6 @@ ML_LINT_KO+=src/plugins/e-acsl/src/code_generator/temporal.ml
ML_LINT_KO+=src/plugins/e-acsl/src/code_generator/temporal.mli
ML_LINT_KO+=src/plugins/e-acsl/src/code_generator/translate.ml
ML_LINT_KO+=src/plugins/e-acsl/src/code_generator/translate.mli
ML_LINT_KO+=src/plugins/e-acsl/src/code_generator/visit.ml
ML_LINT_KO+=src/plugins/e-acsl/src/libraries/builtins.ml
ML_LINT_KO+=src/plugins/e-acsl/src/libraries/error.ml
ML_LINT_KO+=src/plugins/e-acsl/src/libraries/error.mli
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment