Syntax.Util: remove unused function

FStarLang · Oct 8, 2024 · 1d7dfef · 1d7dfef
1 parent 53ab508
commit 1d7dfef
Showing 1 changed file with 0 additions and 9 deletions.
diff --git a/src/syntax/FStar.Syntax.Util.fst b/src/syntax/FStar.Syntax.Util.fst
@@ -951,15 +951,6 @@ let is_fstar_tactics_by_tactic t =
     | Tm_fvar fv -> fv_eq_lid fv PC.by_tactic_lid
     | _ -> false
 
-let is_builtin_tactic md =
-  let path = Ident.path_of_lid md in
-  if List.length(path) > 2 then
-    match fst (List.splitAt 2 path) with
-    | ["FStar"; "Tactics"]
-    | ["FStar"; "Reflection"] -> true
-    | _ -> false
-  else false
-
 (********************************************************************************)
 (*********************** Constructors of common terms  **************************)
 (********************************************************************************)