diff --git a/src/plugins/wp/tests/wp_tip/TacNOP.ml b/src/plugins/wp/tests/wp_tip/TacNOP.ml
index e1c80aa18088963cef7dd67169e56ae1977ffe63..85710ca2329912066d9865231388bc3c2b991f1b 100644
--- a/src/plugins/wp/tests/wp_tip/TacNOP.ml
+++ b/src/plugins/wp/tests/wp_tip/TacNOP.ml
@@ -47,6 +47,5 @@ class nop =
   end
 
 let tactical = Wp.Tactical.export (new nop)
-let _ = Wp.Strategy.make tactical ~arguments:[]
 
 (* -------------------------------------------------------------------------- *)