1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 9dfbb75c3..16ad4751f 100644
--- a/Makefile
+++ b/Makefile
@@ -469,12 +469,12 @@ STANDALONE := \
 $(STANDALONE:%=src/Experiments/NewPipeline/ExtractionOCaml/%.ml) : %.ml : %.v src/Experiments/NewPipeline/StandaloneOCamlMain.vo
 	$(SHOW)'COQC $< > $@'
 	$(HIDE)$(TIMER) $(COQC) $(COQDEBUG) $(COQFLAGS) $(COQLIBS) $< > $@.tmp
-	$(HIDE)sed s'/\r\n/\n/g' $@.tmp > $@ && rm -f $@.tmp
+	$(HIDE)sed s'/\r\n/\n/g' -e s'/\r//g' $@.tmp > $@ && rm -f $@.tmp
 
 $(STANDALONE:%=src/Experiments/NewPipeline/ExtractionHaskell/%.hs) : %.hs : %.v src/Experiments/NewPipeline/StandaloneHaskellMain.vo src/Experiments/NewPipeline/haskell.sed
 	$(SHOW)'COQC $< > $@'
 	$(HIDE)$(TIMER) $(COQC) $(COQDEBUG) $(COQFLAGS) $(COQLIBS) $< > $@.tmp
-	$(HIDE)sed s'/\r\n/\n/g' $@.tmp | sed -f src/Experiments/NewPipeline/haskell.sed > $@ && rm -f $@.tmp
+	$(HIDE)sed s'/\r\n/\n/g' -e s'/\r//g' $@.tmp | sed -f src/Experiments/NewPipeline/haskell.sed > $@ && rm -f $@.tmp
 
 $(STANDALONE:%=src/Experiments/NewPipeline/ExtractionOCaml/%) : % : %.ml
 	$(TIMER) ocamlopt -o $@ $<