Remove -open(Utils) compile flag hack

Summary:public
Eliminate the use of the -open Utils command line option passed to the compiler in favor of `open! Utils` in each source file.  While slightly convenient, this option causes more headaches than it is worth with other tools e.g. merlin.

Reviewed By: jvillard

Differential Revision: D3168193

fb-gh-sync-id: 4285ef6
fbshipit-source-id: 4285ef6

CONTRIBUTING.md

@@ -18,7 +18,3 @@ us a line at cla@fb.com. Thanks!
   `infer/tests/codetoanalyze/` and
   `infer/tests/{endtoend,frontend}/`. To run the all tests, execute
   `make test`.
-
-## Hacking
-
-* Be aware that the build system implicitly opens the Utils module.

infer/.merlin

@@ -10,6 +10,5 @@ PKG str
 PKG unix
 PKG yojson
 PKG zip
-FLG -open Utils
 FLG -principal -safe-string -short-paths -strict-formats -strict-sequence
 FLG -w +a-4-9-40-41-42-45-48-50

infer/src/IR/attributesTable.ml

@@ -7,6 +7,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 module F = Format
 module L = Logging
 

infer/src/IR/attributesTable.mli

@@ -7,6 +7,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Module to manage the table of attributes. *)
 
 

infer/src/IR/cfg.ml

@@ -8,6 +8,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 module L = Logging
 module F = Format
 

infer/src/IR/cfg.mli

@@ -8,6 +8,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (**  Control Flow Graph for Interprocedural Analysis *)
 
 (** {2 ADT node and proc_desc} *)

infer/src/IR/cg.ml

@@ -8,6 +8,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Module for call graphs *)
 
 module L = Logging

infer/src/IR/cg.mli

@@ -8,6 +8,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Module for call graphs *)
 
 type in_out_calls =

infer/src/IR/csu.ml

@@ -7,6 +7,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Internal representation of data structure for Java, Objective-C and C++ classes,
     C-style structs struct and union,
     And Objective C protocol *)

infer/src/IR/csu.mli

@@ -7,6 +7,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Internal representation of data structure for Java, Objective-C and C++ classes,
     C-style structs struct and union,
     And Objective C protocol *)

infer/src/IR/ident.ml

@@ -8,6 +8,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Module for Names and Identifiers *)
 
 module L = Logging

infer/src/IR/ident.mli

@@ -8,6 +8,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Identifiers: program variables and logical variables *)
 
 (** Program and logical variables. *)

infer/src/IR/location.ml

@@ -7,6 +7,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 module F = Format
 module L = Logging
 

infer/src/IR/location.mli

@@ -7,6 +7,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Location in the original source file *)
 type t = {
   line: int; (** The line number. -1 means "do not know" *)

infer/src/IR/mangled.ml

@@ -8,6 +8,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Module for Mangled Names *)
 
 module F = Format

infer/src/IR/mangled.mli

@@ -8,6 +8,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Module for Mangled Names *)
 
 (** Type of mangled names *)

infer/src/IR/procAttributes.ml

@@ -7,6 +7,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Attributes of a procedure. *)
 
 module L = Logging

infer/src/IR/procAttributes.mli

@@ -7,6 +7,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Attributes of a procedure. *)
 
 type objc_accessor_type =

infer/src/IR/procname.ml

@@ -8,6 +8,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Module for Procedure Names *)
 
 module L = Logging

infer/src/IR/procname.mli

@@ -8,6 +8,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Module for Procedure Names. *)
 
 (** Type of java procedure names. *)

infer/src/IR/pvar.ml

@@ -8,6 +8,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** The Smallfoot Intermediate Language *)
 
 module L = Logging

infer/src/IR/pvar.mli

@@ -8,6 +8,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Program variables. *)
 
 module F = Format

infer/src/IR/sil.ml

@@ -8,6 +8,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** The Smallfoot Intermediate Language *)
 
 module L = Logging

infer/src/IR/sil.mli

@@ -8,6 +8,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** The Smallfoot Intermediate Language *)
 
 module F = Format

infer/src/IR/tenv.ml

@@ -7,6 +7,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Module for Type Environments. *)
 
 (** Hash tables on strings. *)

infer/src/IR/tenv.mli

@@ -7,6 +7,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Module for Type Environments. *)
 
 type t (** Type for type environment. *)

infer/src/IR/typename.ml

@@ -7,6 +7,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 module F = Format
 
 (** Named types. *)

infer/src/IR/typename.mli

@@ -7,6 +7,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Named types. *)
 type t =
   | TN_typedef of Mangled.t

infer/src/Makefile.in

@@ -40,7 +40,6 @@ OCAMLBUILD_OPTIONS = \
                      -cflags -strict-sequence \
                      -cflags -w,$(OCAML_FATAL_WARNINGS)-4-9-40-41-42-45-48-50 \
                      -tag-line "<*{clang/clang_ast_*,backend/jsonbug_*}>: warn(-27-32-35-39)" \
-                     -tag-line "not <**/{config,iList,utils}.*>: open(Utils)" \
                      -pkgs atdgen,extlib,oUnit,str,unix,yojson,zip
 
 ifeq (@ENABLE_OCAML_ANNOT@,yes)

infer/src/backend/DB.ml

@@ -8,6 +8,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Database of analysis results *)
 
 module F = Format

infer/src/backend/DB.mli

@@ -8,6 +8,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Database of analysis results *)
 
 (** {2 Filename} *)

infer/src/backend/abs.ml

@@ -8,6 +8,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Implementation of Abstraction Functions *)
 
 module L = Logging

infer/src/backend/abs.mli

@@ -8,6 +8,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Implementation of Abstraction Functions *)
 
 (** Abstraction rules discovered *)

infer/src/backend/absarray.ml

@@ -8,6 +8,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Abstraction for Arrays *)
 
 module L = Logging

infer/src/backend/absarray.mli

@@ -8,6 +8,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Abstraction for Arrays *)
 
 (** Apply array abstraction and check the result *)

infer/src/backend/autounit.ml

@@ -8,6 +8,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Generate unit tests automatically from specs *)
 
 module L = Logging

infer/src/backend/autounit.mli

@@ -8,6 +8,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Generate unit tests automatically from specs *)
 
 (** type of generated code *)

infer/src/backend/buckets.ml

@@ -8,6 +8,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Classify bugs into buckets *)
 
 module L = Logging

infer/src/backend/buckets.mli

@@ -8,6 +8,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Classify bugs into buckets *)
 
 (** Classify the bucket of an error desc using Location.access and nullable information *)

infer/src/backend/builtin.ml

@@ -7,6 +7,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Module for builtin functions with their symbolic execution handler *)
 
 type args = {

infer/src/backend/builtin.mli

@@ -7,6 +7,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Module for builtin functions with their symbolic execution handler *)
 
 type args = {

infer/src/backend/callbacks.ml

@@ -7,6 +7,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 module L = Logging
 
 (** Module to register and invoke callbacks *)

infer/src/backend/callbacks.mli

@@ -7,6 +7,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Module to register and invoke callbacks *)
 
 type proc_callback_args = {

infer/src/backend/cluster.ml

@@ -7,6 +7,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 module L = Logging
 module F = Format
 

infer/src/backend/cluster.mli

@@ -7,6 +7,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 module F = Format
 
 (** Module to process clusters of procedures. *)

infer/src/backend/clusterMakefile.ml

@@ -7,6 +7,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 module L = Logging
 module F = Format
 

infer/src/backend/dom.ml

@@ -8,6 +8,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Operators for the abstract domain. In particular, join and meet. *)
 
 module L = Logging

infer/src/backend/dom.mli

@@ -8,6 +8,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Join and Meet Operators *)
 
 (** {2 Join Operators} *)

infer/src/backend/dotty.ml

@@ -8,6 +8,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 module L = Logging
 module F = Format
 

infer/src/backend/dotty.mli

@@ -8,6 +8,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Pretty printing functions in dot format. *)
 
 (** {2 Propositions} *)

infer/src/backend/errdesc.ml

@@ -8,6 +8,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Create descriptions of analysis errors *)
 
 module L = Logging

infer/src/backend/errdesc.mli

@@ -8,6 +8,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Create descriptions of analysis errors *)
 
 (** find the dexp, if any, where the given value is stored

infer/src/backend/errlog.ml

@@ -7,6 +7,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 module L = Logging
 module F = Format
 

infer/src/backend/errlog.mli

@@ -7,6 +7,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Module for error logs. *)
 
 (** Element of a loc trace *)

infer/src/backend/escape.ml

@@ -7,6 +7,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Escape a string for use in a CSV or XML file: replace reserved
     characters with escape sequences *)
 

infer/src/backend/escape.mli

@@ -7,6 +7,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Escape a string for use in a CSV or XML file: replace reserved
     characters with escape sequences *)
 

infer/src/backend/exceptions.ml

@@ -8,6 +8,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 module L = Logging
 module F = Format
 

infer/src/backend/exceptions.mli

@@ -8,6 +8,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Functions for logging and printing exceptions *)
 
 type exception_visibility = (** visibility of the exception *)

infer/src/backend/exe_env.ml

@@ -8,6 +8,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Support for Execution environments *)
 
 module L = Logging

infer/src/backend/exe_env.mli

@@ -8,6 +8,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Support for Execution environments *)
 
 (** initial state, used to add cg's *)

infer/src/backend/inferanalyze.ml

@@ -8,6 +8,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Main module for the analysis after the capture phase *)
 
 module L = Logging

infer/src/backend/inferanalyze.mli

@@ -8,4 +8,6 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Main module for the analysis after the capture phase *)

infer/src/backend/inferconfig.ml

@@ -7,6 +7,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 module L = Logging
 
 (** Look up a key in a json file containing a list of strings *)

infer/src/backend/inferconfig.mli

@@ -7,6 +7,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** get the path to the .inferconfig file *)
 val inferconfig : unit -> string
 

infer/src/backend/inferprint.ml

@@ -8,6 +8,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 module L = Logging
 module F = Format
 open Jsonbug_j

infer/src/backend/interproc.ml

@@ -8,6 +8,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Interprocedural Analysis *)
 
 module L = Logging

infer/src/backend/interproc.mli

@@ -8,6 +8,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Interprocedural Analysis *)
 
 (** Perform the analysis of an exe_env *)

infer/src/backend/io_infer.ml

@@ -8,6 +8,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Module to handle IO. Includes html and xml modules. *)
 
 module F = Format

infer/src/backend/io_infer.mli

@@ -8,6 +8,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Module to handle IO. Includes html and xml modules. *)
 
 module Html : sig

infer/src/backend/joinState.ml

@@ -7,6 +7,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Object representing the status of the join operation *)
 
 type mode =

infer/src/backend/joinState.mli

@@ -7,6 +7,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Object representing the status of the join operation *)
 
 type mode =

infer/src/backend/latex.ml

@@ -8,6 +8,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 module F = Format
 
 (** Produce output in latex *)

infer/src/backend/latex.mli

@@ -8,6 +8,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 type style =
   | Boldface
   | Roman

infer/src/backend/localise.ml

@@ -8,6 +8,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Support for localisation *)
 
 module F = Format

infer/src/backend/localise.mli

@@ -8,6 +8,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Support for localisation *)
 
 (** type of string used for localisation *)

infer/src/backend/logging.ml

@@ -8,6 +8,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** log messages at different levels of verbosity *)
 
 module F = Format

infer/src/backend/logging.mli

@@ -8,6 +8,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** log messages at different levels of verbosity *)
 
 (** type of printable elements *)

infer/src/backend/match.ml

@@ -8,6 +8,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Functions for "Smart" Pattern Matching *)
 
 module L = Logging

infer/src/backend/match.mli

@@ -8,6 +8,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Implementation of "Smart" Pattern Matching for higher order singly-linked list predicate.
 
     Used for detecting on a given program if some data scructures are matching some predefined higher-order list predicates. When it is the case, these predicates can be used as possible candidates for abstracting the data-structures.

infer/src/backend/mergeCapture.ml

@@ -7,6 +7,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 module L = Logging
 module F = Format
 

infer/src/backend/mleak_buckets.ml

@@ -8,6 +8,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** This module handles buckets of memory leaks in Objective-C/C++ *)
 
 let objc_arc_flag = "objc_arc"

infer/src/backend/mleak_buckets.mli

@@ -7,6 +7,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** This module handles buckets of memory leaks in Objective-C *)
 
 val objc_arc_flag : string

infer/src/backend/modelBuiltins.ml

@@ -7,6 +7,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Models for the builtin functions supported *)
 
 open SymExec

infer/src/backend/modelBuiltins.mli

@@ -7,6 +7,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Models for the builtin functions supported *)
 
 val __assert_fail : Procname.t

infer/src/backend/objc_models.ml

@@ -7,6 +7,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** This module handles C or Objective-C types for which there are special rules for memory management *)
 
 (** This module models special c struct types from the Apple's Core Foundation libraries

infer/src/backend/objc_models.mli

@@ -7,6 +7,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** This module models special c struct types from the Apple's Core Foundation libraries
     for which there are particular rules for memory management. *)
 

infer/src/backend/ondemand.ml

@@ -7,6 +7,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Module for on-demand analysis. *)
 
 module L = Logging

infer/src/backend/ondemand.mli

@@ -7,6 +7,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Module for on-demand analysis. *)
 
 (** Optional set of source dirs to analyze in on-demand mode. *)

infer/src/backend/paths.ml

@@ -8,6 +8,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Execution Paths *)
 
 module L = Logging

infer/src/backend/paths.mli

@@ -8,6 +8,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Execution Paths *)
 
 module Path : sig

infer/src/backend/preanal.ml

@@ -8,6 +8,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 module L = Logging
 
 (** find all the predecessors of nodes, using exception links *)

infer/src/backend/preanal.mli

@@ -8,6 +8,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Preanalysis for eliminating dead local variables *)
 
 (** Perform liveness analysis *)

infer/src/backend/prettyPrintable.ml

@@ -7,6 +7,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 module F = Format
 
 (** Wrappers for making pretty-printable modules *)

infer/src/backend/prettyPrintable.mli

@@ -7,6 +7,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 module F = Format
 
 (** Wrappers for making pretty-printable modules *)

infer/src/backend/printer.ml

@@ -8,6 +8,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Printers for the analysis results *)
 
 module L = Logging

infer/src/backend/printer.mli

@@ -8,6 +8,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Printers for the analysis results *)
 
 (** Module to read specific lines from files.

infer/src/backend/prop.ml

@@ -8,6 +8,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Functions for Propositions (i.e., Symbolic Heaps) *)
 
 module L = Logging

infer/src/backend/prop.mli

@@ -8,6 +8,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Functions for Propositions (i.e., Symbolic Heaps) *)
 
 open Sil

infer/src/backend/propgraph.ml

@@ -8,6 +8,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Propositions seen as graphs *)
 
 module F = Format

infer/src/backend/propgraph.mli

@@ -8,6 +8,8 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  *)
 
+open! Utils
+
 (** Propositions seen as graphs *)
 
 type t (** prop considered as a graph *)