1 files changed, 2 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 06f41de2b..e4fb19ef6 100644
--- a/Makefile
+++ b/Makefile
@@ -513,7 +513,8 @@ states/barestate.coq: $(SYNTAXPP) $(BESTCOQTOP)
 #       theories/Init/LogicHints.vo       theories/Init/SpecifHints.vo \
 #       theories/Init/Logic_TypeHints.vo \
 
-INITVO=theories/Init/Datatypes.vo         theories/Init/DatatypesSyntax.vo \
+INITVO=theories/Init/Notations.vo \
+       theories/Init/Datatypes.vo         theories/Init/DatatypesSyntax.vo \
        theories/Init/Peano.vo             theories/Init/PeanoSyntax.vo   \
        theories/Init/Logic.vo             theories/Init/Specif.vo        \
        theories/Init/LogicSyntax.vo       theories/Init/SpecifSyntax.vo  \