From 371c285137619cc8d6e7ccf772ee70e21e3bada8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Fri, 29 Nov 2019 10:48:33 +0100
Subject: [PATCH] [wp] Fixes a test of the TIP.

---
 src/plugins/wp/tests/wp_tip/TacNOP.ml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/plugins/wp/tests/wp_tip/TacNOP.ml b/src/plugins/wp/tests/wp_tip/TacNOP.ml
index e1c80aa1808..85710ca2329 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:[]
 
 (* -------------------------------------------------------------------------- *)
-- 
GitLab