diff options
Diffstat (limited to 'Makefile.common')
| -rw-r--r-- | Makefile.common | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.common b/Makefile.common index 82afd575d8..0cfb0ed7d4 100644 --- a/Makefile.common +++ b/Makefile.common @@ -643,7 +643,7 @@ REALS_all=\ theories/Reals/Rpower.vo theories/Reals/Ranalysis.vo \ theories/Reals/NewtonInt.vo theories/Reals/RiemannInt_SF.vo \ theories/Reals/RiemannInt.vo theories/Reals/Integration.vo \ - theories/Reals/Reals.vo + theories/Reals/Rlogic.vo theories/Reals/Reals.vo REALSVO:=$(REALSBASEVO) $(REALS_$(REALS)) |