From 731ffa0ae15a6ca7387029bf905f315cc005a7a7 Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Sun, 4 Dec 2016 03:30:21 -0800
Subject: [PATCH] Initialize Builtins also in single-core mode

Reviewed By: akotulski

Differential Revision: D4272426

fbshipit-source-id: d1a3331
---
 infer/src/backend/InferAnalyze.re    | 1 +
 infer/src/backend/InferAnalyzeExe.re | 1 -
 2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/infer/src/backend/InferAnalyze.re b/infer/src/backend/InferAnalyze.re
index fb0792433..7f695ea6b 100644
--- a/infer/src/backend/InferAnalyze.re
+++ b/infer/src/backend/InferAnalyze.re
@@ -93,6 +93,7 @@ let print_stdout_legend () => {
 };
 
 let main makefile => {
+  BuiltinDefn.init ();
   switch Config.modified_targets {
   | Some file => MergeCapture.modified_file file
   | None => ()
diff --git a/infer/src/backend/InferAnalyzeExe.re b/infer/src/backend/InferAnalyzeExe.re
index 4589c7414..826acca4b 100644
--- a/infer/src/backend/InferAnalyzeExe.re
+++ b/infer/src/backend/InferAnalyzeExe.re
@@ -43,7 +43,6 @@ let () = {
     Config.print_usage_exit ()
   };
   register_perf_stats_report ();
-  BuiltinDefn.init ();
   if Config.developer_mode {
     Printexc.record_backtrace true
   };