diff options
author | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-09-02 00:38:53 +0200 |
---|---|---|
committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-09-02 00:38:53 +0200 |
commit | f79f2b32da8e5e443428d4f642216ddfb404857c (patch) | |
tree | 4c0a2a6cb8fba3cdaba833f612267a0cd81a5a5d /Makefile.dev | |
parent | 4f21c45748816c9e0cd4f93fa6f6d167e9757f81 (diff) | |
parent | def03f31c1c639629e6bb07e266319bf6930f8fb (diff) |
Merge branch 'v8.6'
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 d9db7055f..8c1812da1 100644 --- a/Makefile.dev +++ b/Makefile.dev @@ -164,7 +164,7 @@ noreal: unicode logic arith bool zarith qarith lists sets fsets \ .PHONY: init theories-light noreal .PHONY: logic arith bool narith zarith qarith lists strings sets .PHONY: fsets relations wellfounded reals setoids sorting numbers -.PHONY: msets mmaps compat +.PHONY: msets mmaps compat parith classes program unicode structures vectors ################ ### 4) plugins |