diff options
| -rw-r--r-- | contrib/extraction/mlutil.mli | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/contrib/extraction/mlutil.mli b/contrib/extraction/mlutil.mli index 0aafb399bf..6ce52c055f 100644 --- a/contrib/extraction/mlutil.mli +++ b/contrib/extraction/mlutil.mli @@ -61,9 +61,3 @@ val add_ml_decls : val optimize : extraction_params -> ml_decl list -> ml_decl list - -(* DEBUG *) - -val kill_prop_aux : ml_ast -> ml_ast * identifier list * int - -val global_kill_prop : global_reference -> identifier list -> int -> ml_decl -> ml_decl |