1 files changed, 2 insertions, 2 deletions

diff --git a/Makefile b/Makefile
index aa5ac43e85..9e0cc51fd7 100644
--- a/Makefile
+++ b/Makefile
@@ -582,8 +582,8 @@ BOOLVO=\
  theories/Bool/Bvector.vo
 
 NARITHVO=\
- theories/NArith/BinPos.vo       theories/NArith/BinNat.vo \
- theories/NArith/NArith.vo
+ theories/NArith/BinPos.vo	theories/NArith/Pnat.vo \
+ theories/NArith/BinNat.vo	theories/NArith/NArith.vo
 
 ZARITHVO=\
  theories/ZArith/BinInt.vo \