diff --git a/infer/src/IR/ProcnameDispatcher.mli b/infer/src/IR/ProcnameDispatcher.mli
index b68bee0d0..4a00e773e 100644
--- a/infer/src/IR/ProcnameDispatcher.mli
+++ b/infer/src/IR/ProcnameDispatcher.mli
@@ -5,6 +5,8 @@
  * LICENSE file in the root directory of this source tree.
  *)
 
+open! IStd
+
 (** To be used in 'list_constraint *)
 type accept_more
  and end_of_list
diff --git a/infer/src/IR/SourceFiles.mli b/infer/src/IR/SourceFiles.mli
index 60cf562ac..19c918e4e 100644
--- a/infer/src/IR/SourceFiles.mli
+++ b/infer/src/IR/SourceFiles.mli
@@ -5,6 +5,8 @@
  * LICENSE file in the root directory of this source tree.
  *)
 
+open! IStd
+
 val add : SourceFile.t -> Cfg.t -> Tenv.per_file -> unit
 (** Add or replace the row corresponding to the source file into the database. *)
 
diff --git a/infer/src/base/EventLogger.mli b/infer/src/base/EventLogger.mli
index 96ceaf3fc..e8cca0bde 100644
--- a/infer/src/base/EventLogger.mli
+++ b/infer/src/base/EventLogger.mli
@@ -5,6 +5,8 @@
  * LICENSE file in the root directory of this source tree.
  *)
 
+open! IStd
+
 type analysis_issue =
   { bug_kind: string
   ; bug_type: string
diff --git a/infer/src/base/FileDiff.mli b/infer/src/base/FileDiff.mli
index 9bb8a3e49..3181a734f 100644
--- a/infer/src/base/FileDiff.mli
+++ b/infer/src/base/FileDiff.mli
@@ -5,6 +5,8 @@
  * LICENSE file in the root directory of this source tree.
  *)
 
+open! IStd
+
 module UnixDiff : sig
   module VISIBLE_FOR_TESTING_DO_NOT_USE_DIRECTLY : sig
     type t = Unchanged | New | Old
diff --git a/infer/src/base/JsonBuilder.mli b/infer/src/base/JsonBuilder.mli
index f30eefbeb..6b70b20b5 100644
--- a/infer/src/base/JsonBuilder.mli
+++ b/infer/src/base/JsonBuilder.mli
@@ -5,6 +5,8 @@
  * LICENSE file in the root directory of this source tree.
  *)
 
+open! IStd
+
 type t
 
 val empty : t
diff --git a/infer/src/base/ProcessPoolState.mli b/infer/src/base/ProcessPoolState.mli
index 56aedc4b3..e60a43150 100644
--- a/infer/src/base/ProcessPoolState.mli
+++ b/infer/src/base/ProcessPoolState.mli
@@ -5,6 +5,8 @@
  * LICENSE file in the root directory of this source tree.
  *)
 
+open! IStd
+
 val in_child : bool ref
 (** Keep track of whether the current execution is in a child process *)
 
diff --git a/infer/src/base/ResultsDatabase.mli b/infer/src/base/ResultsDatabase.mli
index bef6a78f1..9ab4a728d 100644
--- a/infer/src/base/ResultsDatabase.mli
+++ b/infer/src/base/ResultsDatabase.mli
@@ -5,6 +5,8 @@
  * LICENSE file in the root directory of this source tree.
  *)
 
+open! IStd
+
 val database_filename : string
 (** the relative path to the database from the results directory *)
 
diff --git a/infer/src/biabduction/SymExecBlocks.mli b/infer/src/biabduction/SymExecBlocks.mli
index 3deef0eec..649df8242 100644
--- a/infer/src/biabduction/SymExecBlocks.mli
+++ b/infer/src/biabduction/SymExecBlocks.mli
@@ -5,6 +5,8 @@
  * LICENSE file in the root directory of this source tree.
  *)
 
+open! IStd
+
 val resolve_method_with_block_args_and_analyze :
   caller_pdesc:Procdesc.t -> Typ.Procname.t -> (Exp.t * Typ.t) list
   -> (Summary.t * (Exp.t * Typ.t) list) option
diff --git a/infer/src/clang/CTLExceptions.mli b/infer/src/clang/CTLExceptions.mli
index 6aec5a7a1..3c744ae8a 100644
--- a/infer/src/clang/CTLExceptions.mli
+++ b/infer/src/clang/CTLExceptions.mli
@@ -5,6 +5,8 @@
  * LICENSE file in the root directory of this source tree.
  *)
 
+open! IStd
+
 (** Raised when the parser encounters a violation of a certain invariant  *)
 exception ALParserInvariantViolationException of string
 
diff --git a/infer/src/clang/objcMethod_decl.mli b/infer/src/clang/objcMethod_decl.mli
index 697913a27..f2d479112 100644
--- a/infer/src/clang/objcMethod_decl.mli
+++ b/infer/src/clang/objcMethod_decl.mli
@@ -5,6 +5,8 @@
  * LICENSE file in the root directory of this source tree.
  *)
 
+open! IStd
+
 val get_methods :
   CAst_utils.procname_from_decl -> Tenv.t -> Clang_ast_t.decl list -> Typ.Procname.t list
 
diff --git a/infer/src/clang/tableaux.mli b/infer/src/clang/tableaux.mli
index a30f1c0a9..d86f5d285 100644
--- a/infer/src/clang/tableaux.mli
+++ b/infer/src/clang/tableaux.mli
@@ -5,6 +5,8 @@
  * LICENSE file in the root directory of this source tree.
  *)
 
+open! IStd
+
 module ClosureHashtbl : Caml.Map.S with type key = CTL.t
 
 type context_linter_map = bool ClosureHashtbl.t
diff --git a/infer/src/integration/testDeterminator.mli b/infer/src/integration/testDeterminator.mli
index 6155cdf90..b67a90cec 100644
--- a/infer/src/integration/testDeterminator.mli
+++ b/infer/src/integration/testDeterminator.mli
@@ -5,6 +5,8 @@
  * LICENSE file in the root directory of this source tree.
  *)
 
+open! IStd
+
 val test_to_run_java : string option -> string option -> string option -> unit
 
 val _test_to_run_clang :
diff --git a/infer/src/java/jConfig.mli b/infer/src/java/jConfig.mli
index fb5c1500b..7a17ef696 100644
--- a/infer/src/java/jConfig.mli
+++ b/infer/src/java/jConfig.mli
@@ -5,6 +5,7 @@
  * LICENSE file in the root directory of this source tree.
  *)
 
+open! IStd
 open Javalib_pack
 
 val string_cl : string
diff --git a/infer/src/python_stubs/pythonMain.ml b/infer/src/python_stubs/pythonMain.ml
index 7221c0138..b6ce06686 100644
--- a/infer/src/python_stubs/pythonMain.ml
+++ b/infer/src/python_stubs/pythonMain.ml
@@ -4,5 +4,6 @@
  * This source code is licensed under the MIT license found in the
  * LICENSE file in the root directory of this source tree.
  *)
+open! IStd
 
 let go _ = ()
diff --git a/infer/src/python_stubs/pythonMain.mli b/infer/src/python_stubs/pythonMain.mli
index 2941db540..6a1b09b4e 100644
--- a/infer/src/python_stubs/pythonMain.mli
+++ b/infer/src/python_stubs/pythonMain.mli
@@ -5,4 +5,6 @@
  * LICENSE file in the root directory of this source tree.
  *)
 
+open! IStd
+
 val go : string list -> unit