diff --git a/src/kernel_services/ast_queries/ast_info.ml b/src/kernel_services/ast_queries/ast_info.ml
index be162cec7f9f81ad3a4cbf9a95f7ad4b7b9a7959..5a6d061550307bde4b0e4c779f754c4cbda856d1 100644
--- a/src/kernel_services/ast_queries/ast_info.ml
+++ b/src/kernel_services/ast_queries/ast_info.ml
@@ -53,8 +53,6 @@ let value_of_integral_expr e =
   | None -> assert false
   | Some i -> i
 
-let constant_expr ~loc i = new_exp ~loc (Const(CInt64(i,IInt,None)))
-
 let rec is_null_expr e = match (stripInfo e).enode with
   | Const c when is_integral_const c ->
     Integer.equal (value_of_integral_const c) Integer.zero
diff --git a/src/kernel_services/ast_queries/ast_info.mli b/src/kernel_services/ast_queries/ast_info.mli
index 14fb2476dbac0e3203aa092cc45e2b4b81868b02..2f420c0557338080277dfa3953bee6e079bd27b7 100644
--- a/src/kernel_services/ast_queries/ast_info.mli
+++ b/src/kernel_services/ast_queries/ast_info.mli
@@ -33,7 +33,6 @@ val possible_value_of_integral_const: constant -> Integer.t option
 val possible_value_of_integral_expr: exp -> Integer.t option
 val value_of_integral_const: constant -> Integer.t
 val value_of_integral_expr: exp -> Integer.t
-val constant_expr: loc:location -> Integer.t -> exp
 val is_null_expr: exp -> bool
 val is_non_null_expr: exp -> bool