diff options
| -rw-r--r-- | contrib/interface/centaur.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/contrib/interface/centaur.ml b/contrib/interface/centaur.ml index 79fd23b075..f48f04e7c3 100644 --- a/contrib/interface/centaur.ml +++ b/contrib/interface/centaur.ml @@ -242,10 +242,8 @@ let filter_by_module_from_varg_list (l:vernac_arg list) = Search.filter_by_module_from_list (dir_list, b);; let add_search (global_reference:global_reference) assumptions cstr = - mSGNL [< 'sTR "DEBUG: entering add_search" >]; try let id_string = string_of_qualid (Global.qualid_of_global global_reference) in - let _ = mSGNL [< 'sTR "DEBUG: " ; 'sTR id_string >] in let ast = try CT_premise (CT_ident id_string, translate_constr assumptions cstr) |