diff options
Diffstat (limited to 'Makefile.common')
| -rw-r--r-- | Makefile.common | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Makefile.common b/Makefile.common index 967f7b21ed..06e5f3b4bb 100644 --- a/Makefile.common +++ b/Makefile.common @@ -379,7 +379,7 @@ FSETSBASEVO:=$(addprefix theories/FSets/, \ FSetInterface.vo FSetList.vo FSetBridge.vo \ FSetFacts.vo FSetProperties.vo FSetEqProperties.vo \ FSetWeakList.vo FSetAVL.vo FSetDecide.vo \ - FSets.vo \ + FSetCompat.vo FSets.vo \ FMapInterface.vo FMapList.vo FMapFacts.vo \ FMapWeakList.vo FMapPositive.vo FSetToFiniteSet.vo \ FMaps.vo ) @@ -387,7 +387,8 @@ FSETSBASEVO:=$(addprefix theories/FSets/, \ FSETS_basic:= FSETS_all:=$(addprefix theories/FSets/, \ - FSetFullAVL.vo FMapAVL.vo FMapFullAVL.vo ) + FMapAVL.vo FMapFullAVL.vo ) + FSETSVO:=$(FSETSBASEVO) $(FSETS_$(FSETS)) |