diff options
Diffstat (limited to 'Makefile.common')
| -rw-r--r-- | Makefile.common | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.common b/Makefile.common index b58032077e..c2d53855b7 100644 --- a/Makefile.common +++ b/Makefile.common @@ -622,8 +622,8 @@ FSETSVO:=$(FSETSBASEVO) $(FSETS_$(FSETS)) ALLFSETS:=$(FSETSBASEVO) $(FSETS_all) RELATIONSVO:=$(addprefix theories/Relations/, \ - Newman.vo Operators_Properties.vo Relation_Definitions.vo \ - Relation_Operators.vo Relations.vo Rstar.vo ) + Operators_Properties.vo Relation_Definitions.vo \ + Relation_Operators.vo Relations.vo ) WELLFOUNDEDVO:=$(addprefix theories/Wellfounded/, \ Disjoint_Union.vo Inclusion.vo Inverse_Image.vo \ |