1 files changed, 3 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index f127172ef0..98d88f6b13 100644
--- a/Makefile
+++ b/Makefile
@@ -930,7 +930,9 @@ INTSVO=\
 QARITHVO=\
  theories/QArith/QArith_base.vo theories/QArith/Qreduction.vo \
  theories/QArith/Qring.vo       theories/QArith/Qreals.vo \
- theories/QArith/QArith.vo	theories/QArith/Qcanon.vo 
+ theories/QArith/QArith.vo	theories/QArith/Qcanon.vo \
+ theories/QArith/Qfield.vo	theories/QArith/Qpower.vo \
+ theories/QArith/Qabs.vo
 
 LISTSVO=\
  theories/Lists/MonoList.vo \