diff options
Diffstat (limited to 'plugins/firstorder/g_ground.mlg')
| -rw-r--r-- | plugins/firstorder/g_ground.mlg | 2 |
1 files changed, 0 insertions, 2 deletions
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 |