diff --git a/doc/value/examples/parametrizing/makefile b/doc/value/examples/parametrizing/makefile
index 3a3b2ee42d80ae0d87a40f96084430b9f73e4d01..70b98e3bff9a22dafaa225d3ba5db832b6a450fb 100644
--- a/doc/value/examples/parametrizing/makefile
+++ b/doc/value/examples/parametrizing/makefile
@@ -29,13 +29,13 @@ clean:
 
 %.log: SOURCE = $(word 1,$(subst ., ,$*)).c
 $(TARGETS) : %.log: $$(SOURCE) $(FRAMAC) $(MAKEFILE_LIST)
-	$(FRAMAC) $(FCFLAGS) -val $< > $@
+	$(FRAMAC) $(FCFLAGS) -eva $< > $@
 
 global-initial-values.log: FCFLAGS += -lib-entry
 context-depth%.log: FCFLAGS += -lib-entry
-context-depth.2.log: FCFLAGS += -context-width 1 -context-depth 1
-context-depth.3.log: FCFLAGS += -context-width 1 -context-depth 1 -context-valid-pointers
-slevel.1.log: FCFLAGS += -slevel 55
-slevel.2.log: FCFLAGS += -slevel 28
-ilevel.2.log: FCFLAGS += -val-ilevel 16
+context-depth.2.log: FCFLAGS += -eva-context-width 1 -eva-context-depth 1
+context-depth.3.log: FCFLAGS += -eva-context-width 1 -eva-context-depth 1 -eva-context-valid-pointers
+slevel.1.log: FCFLAGS += -eva-slevel 55
+slevel.2.log: FCFLAGS += -eva-slevel 28
+ilevel.2.log: FCFLAGS += -eva-ilevel 16
 split-fabs.log: FCFLAGS += -eva-domains equality