Skip to content
Snippets Groups Projects
Commit f9e3b090 authored by Loïc Correnson's avatar Loïc Correnson
Browse files

[lint] reverting print-dynamic-api

parent ef39e882
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 0 additions and 1 deletion
.Makefile.lint
+ 0
− 1
View file @ f9e3b090
......@@ -357,7 +357,6 @@ ML_LINT_KO+=src/plugins/pdg_types/pdgTypes.mli
ML_LINT_KO+=src/plugins/postdominators/compute.ml
ML_LINT_KO+=src/plugins/postdominators/postdominators_parameters.ml
ML_LINT_KO+=src/plugins/postdominators/print.ml
ML_LINT_KO+=src/plugins/print_api/dynamic_plugins.mli
ML_LINT_KO+=src/plugins/print_api/print_interface.ml
ML_LINT_KO+=src/plugins/scope/Scope.mli
ML_LINT_KO+=src/plugins/scope/datascope.ml
......
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