1 files changed, 1 insertions, 0 deletions

diff --git a/Makefile b/Makefile
index ed249fa763..6a2fabb26a 100644
--- a/Makefile
+++ b/Makefile
@@ -134,6 +134,7 @@ USERTACCMO=$(USERTAC:.ml4=.cmo)
 USERTACCMX=$(USERTAC:.ml4=.cmx)
 
 EXTRACTIONCMO=contrib/extraction/mlutil.cmo contrib/extraction/ocaml.cmo \
+	      contrib/extraction/haskell.cmo \
 	      contrib/extraction/extraction.cmo \
 	      contrib/extraction/extract_env.cmo