cleanup

LPCIC · Nov 21, 2024 · 5cd0bee · 5cd0bee
1 parent 80d1c80
commit 5cd0bee
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 4 deletions.
diff --git a/src/compiler/compiler.ml b/src/compiler/compiler.ml
@@ -2355,5 +2355,3 @@ let relocate_closed_term ~from:symbol_table ~to_:(_,{ Assembled.symbols }) (t :
 let relocate_closed_term ~from ~to_ t =
   try Result.Ok(relocate_closed_term ~from ~to_ t)
   with RelocationError s -> Result.Error s
-
-let lookup_query_predicate _ _ = assert false
diff --git a/src/compiler/compiler.mli b/src/compiler/compiler.mli
@@ -52,8 +52,6 @@ val relocate_closed_term : from:symbol_table -> to_:program -> term -> (term, st
 val pp_program : (pp_ctx:pp_ctx -> depth:int -> Format.formatter -> term -> unit) -> Format.formatter -> program -> unit
 val pp_goal : (pp_ctx:pp_ctx -> depth:int -> Format.formatter -> term -> unit) -> Format.formatter -> query -> unit
 
-(* val lookup_query_predicate : program -> string -> program * Data.constant *)
-
 val elpi_language : Compiler_data.Scope.language
 val elpi : Compiler_data.QuotationHooks.quotation