diff options
Diffstat (limited to 'Makefile.dev')
-rw-r--r-- | Makefile.dev | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.dev b/Makefile.dev index fde92ec94..0105df972 100644 --- a/Makefile.dev +++ b/Makefile.dev @@ -120,7 +120,7 @@ highparsing: parsing/highparsing.cma stm: stm/stm.cma toplevel: toplevel/toplevel.cma -.PHONY: lib kernel byterun library proofs tactics interp parsing pretyping +.PHONY: lib kernel byterun library proofs tactics interp parsing pretyping API .PHONY: engine highparsing stm toplevel ###################### |