remove dead code

LPCIC · Nov 26, 2024 · 6fa0c65 · 6fa0c65
1 parent f93090e
commit 6fa0c65
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 9 deletions.
diff --git a/src/compiler/compiler_data.ml b/src/compiler/compiler_data.ml
@@ -676,12 +676,6 @@ module ScopedTerm = struct
       | _ -> false
   end
 
-  let rec get_clause_hd = function
-    | Const (_,c) -> c
-    | App(_,n,_,_) -> n
-    | Impl(false,l,_) -> get_clause_hd l.it
-    | _ -> error "Not a clause"
-
   let is_var = function Var _ -> true | _ -> false
 end
 

diff --git a/src/parser/ast.ml b/src/parser/ast.ml
@@ -154,9 +154,6 @@ let mkSeq ?loc (l : t list) =
    match loc with None -> l | Some loc -> { l with loc }
 let mkCast loc t ty = { loc; it = Cast(t,ty) }
 
-let mkCast loc t ty = { loc; it = Cast(t,ty) }
-
-
 let rec best_effort_pp = function
  | Lam (x,_,t) -> "x\\" ^ best_effort_pp t.it
  | CData c -> CData.show c