1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 0d8c0745ac..ac37c8685e 100644
--- a/Makefile
+++ b/Makefile
@@ -874,7 +874,7 @@ ZARITHVO=\
 QARITHVO=\
  theories/QArith/QArith_base.vo theories/QArith/Qreduction.vo \
  theories/QArith/Qring.vo       theories/QArith/Qreals.vo \
- theories/QArith/QArith.vo
+ theories/QArith/QArith.vo	theories/QArith/Qcanon.vo 
 
 LISTSVO=\
  theories/Lists/MonoList.vo \