Fix cpp models that got broken by an incorrect refactoring

Reviewed By: jberdine

Differential Revision: D3819759

fbshipit-source-id: aa577dc

infer/src/backend/config.ml

@@ -232,17 +232,18 @@ let version_string =
     Unix.time *)
 let initial_analysis_time = Unix.time ()
 
+let bin_dir =
+  Filename.dirname Sys.executable_name
+
 let lib_dir =
-  let bin_dir = Filename.dirname Sys.executable_name in
+  bin_dir // Filename.parent_dir_name // "lib"
-  let lib_dir = bin_dir // Filename.parent_dir_name // "lib" in
-  lib_dir
 
 (** Path to lib/specs to retrieve the default models *)
 let models_dir =
   lib_dir // specs_dir_name
 
 let cpp_models_dir =
-  lib_dir // "models" // "cpp" // "include"
+  bin_dir // Filename.parent_dir_name // "models" // "cpp" // "include"
 
 let wrappers_dir =
   lib_dir // "wrappers"