Fix infer explore --source-files-procedure-names

Reviewed By: jeremydubreil Differential Revision: D15050147 fbshipit-source-id: 61a44a81a
6 years ago · 2a0ec8c0db
parent 8bf0f66f15
commit 2a0ec8c0db
1 changed files with 7 additions and 1 deletions
--- a/infer/src/IR/SourceFiles.ml
+++ b/infer/src/IR/SourceFiles.ml
@ -169,7 +169,13 @@ let mark_all_stale () =


 let select_all_source_files_statement =
-  ResultsDatabase.register_statement "SELECT * FROM source_files"
+  ResultsDatabase.register_statement
+    {|
+  SELECT source_file
+  , type_environment
+  , procedure_names
+  , freshly_captured
+  FROM source_files |}


 let pp_all ~filter ~type_environment ~procedure_names ~freshly_captured fmt () =