diff options
| -rw-r--r-- | toplevel/search.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/toplevel/search.ml b/toplevel/search.ml index d077433807..a22d5ebc76 100644 --- a/toplevel/search.ml +++ b/toplevel/search.ml @@ -191,7 +191,8 @@ let filter_by_module_from_list = function | l, outside -> filter_by_module l (not outside) let filter_subproof gr _ _ = - not (string_string_contains ~where:(name_of_reference gr) ~what:"_subproof") + not (string_string_contains ~where:(name_of_reference gr) ~what:"_subproof") && + not (string_string_contains ~where:(name_of_reference gr) ~what:"_admitted") let (&&&&&) f g x y z = f x y z && g x y z |