diff --git a/share/analysis-scripts/frama-c.mk b/share/analysis-scripts/frama-c.mk
index bdd84071a7d6c19710148e91161bcb06acc07e72..db18e0999fe2219969fc0f5e3ea63180f45e9955 100644
--- a/share/analysis-scripts/frama-c.mk
+++ b/share/analysis-scripts/frama-c.mk
@@ -124,7 +124,7 @@ export LIBOVERLAY_SCROLLBAR=0
 
 .PHONY: clean
 clean::
-	$(RM) -r *.parse *.eva *.loop
+	$(RM) -r *.parse *.eva
 
 clean-backups:
 	find . -regextype posix-extended \
@@ -219,14 +219,6 @@ SHELL        := /bin/bash
 %.gui: %
 	$(FRAMAC_GUI) $(FCGUIFLAGS) -load $^/framac.sav &
 
-# Run loop bound analysis plug-in and store result in *.loop
-%.loop: %
-	@
-	{
-	  $(FRAMAC) $(FCFLAGS) -load $^/framac.sav -loop -loop-no-branches |
-	    sed -e '1,/Add this to your command line:/d'
-	} > $@
-
 # Produce and open an SVG + HTML from raw flamegraph data produced by Eva
 %/flamegraph: %/flamegraph.html
 	@