diff --git a/infer/src/IR/Io_infer.mli b/infer/src/IR/Io_infer.mli index ced6a62f6..1261a6462 100644 --- a/infer/src/IR/Io_infer.mli +++ b/infer/src/IR/Io_infer.mli @@ -67,4 +67,3 @@ module Html : sig -> unit (** Print an html link given node id and session *) end - diff --git a/infer/src/base/Language.mli b/infer/src/base/Language.mli index 2d85f2ef5..b11b977a7 100644 --- a/infer/src/base/Language.mli +++ b/infer/src/base/Language.mli @@ -13,7 +13,6 @@ val equal : t -> t -> bool val to_string : t -> string - val of_string : string -> t option val curr_language : t ref diff --git a/infer/src/clang/ClangWrapper.ml b/infer/src/clang/ClangWrapper.ml index deca0c979..c6332c1ff 100644 --- a/infer/src/clang/ClangWrapper.ml +++ b/infer/src/clang/ClangWrapper.ml @@ -6,7 +6,6 @@ *) open! IStd - module L = Logging type action_item =