From 61a070f7e6c13729f2ee879b6a419353049b1ea7 Mon Sep 17 00:00:00 2001
From: Vincent Laporte
Date: Wed, 7 Nov 2018 11:43:59 +0000
Subject: [Firstorder plugin] Remove some dead code

---
 plugins/firstorder/g_ground.mlg | 2 --
 1 file changed, 2 deletions(-)

(limited to 'plugins/firstorder/g_ground.mlg')

diff --git a/plugins/firstorder/g_ground.mlg b/plugins/firstorder/g_ground.mlg
index b9274cf6b8..1128a78093 100644
--- a/plugins/firstorder/g_ground.mlg
+++ b/plugins/firstorder/g_ground.mlg
@@ -89,8 +89,6 @@ END
 
 {
 
-let fail_solver=tclFAIL 0 (Pp.str "GTauto failed")
-
 let gen_ground_tac flag taco ids bases =
   let backup= !qflag in
   Proofview.tclOR begin
-- 
cgit v1.2.3