diff options
Diffstat (limited to 'CIAO/MPC/config/ciao_base.mpb')
-rw-r--r-- | CIAO/MPC/config/ciao_base.mpb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/CIAO/MPC/config/ciao_base.mpb b/CIAO/MPC/config/ciao_base.mpb index c10abbf8a58..2ebb0aa4d27 100644 --- a/CIAO/MPC/config/ciao_base.mpb +++ b/CIAO/MPC/config/ciao_base.mpb @@ -1,6 +1,6 @@ // $Id$ -project : ccm_cookie, ccm_configvalue { +project : ccm_cookie, ccm_configvalue, ccm_direct_collocation { after += CIAO_Base_stub libs += CIAO_Base_stub } |