From 3d46bed76e656d6a0e4d87320e4d0fd67d1211c2 Mon Sep 17 00:00:00 2001
From: Jim Fehrle
Date: Tue, 19 Jan 2021 11:55:49 -0800
Subject: Remove the SearchHead command

---
 ide/coqide/coq_commands.ml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'ide')

diff --git a/ide/coqide/coq_commands.ml b/ide/coqide/coq_commands.ml
index 711986c2b2..2d75ad9ff6 100644
--- a/ide/coqide/coq_commands.ml
+++ b/ide/coqide/coq_commands.ml
@@ -207,7 +207,6 @@ let state_preserving = [
   "Recursive Extraction Library";
 
   "Search";
-  "SearchHead";
   "SearchPattern";
   "SearchRewrite";
 
-- 
cgit v1.2.3