1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index de15e784f4..202eb78be2 100644
--- a/Makefile
+++ b/Makefile
@@ -257,7 +257,7 @@ ZARITHVO=theories/Zarith/Wf_Z.vo        theories/Zarith/Zsyntax.vo \
 	 theories/Zarith/ZArith_dec.vo  theories/Zarith/fast_integer.vo \
 	 theories/Zarith/Zmisc.vo       theories/Zarith/zarith_aux.vo
 
-LISTSVO=theories/Lists/List.vo      theories/Lists/PolyListSyntax.vo \
+LISTSVO=theories/Lists/List.vo      \
         theories/Lists/ListSet.vo   theories/Lists/Streams.vo        \
         theories/Lists/PolyList.vo  theories/Lists/TheoryList.vo