From d904ab76ecdbd36a98ce223c3991a73a7b54801e Mon Sep 17 00:00:00 2001
From: Jeremy Dubreil <jrm@fb.com>
Date: Thu, 7 Feb 2019 13:01:24 -0800
Subject: [PATCH] [infer] remove the option --ignore-trivial-traces which is no
 longer used

Reviewed By: mbouaziz

Differential Revision: D13831343

fbshipit-source-id: 4c3efec36
---
 infer/man/man1/infer-full.txt | 4 ----
 infer/src/base/Config.ml      | 8 --------
 infer/src/base/Config.mli     | 2 --
 3 files changed, 14 deletions(-)

diff --git a/infer/man/man1/infer-full.txt b/infer/man/man1/infer-full.txt
index 2636d1181..24c6d5db2 100644
--- a/infer/man/man1/infer-full.txt
+++ b/infer/man/man1/infer-full.txt
@@ -1154,10 +1154,6 @@ INTERNAL OPTIONS
        --icfg-dotty-outfile-reset
            Cancel the effect of --icfg-dotty-outfile.
 
-       --ignore-trivial-traces
-           Activates: Ignore traces whose length is at most 1 (Conversely:
-           --no-ignore-trivial-traces)
-
        --invariant-by-default
            Activates: [Cost]Consider functions to be invariant by default
            (Conversely: --no-invariant-by-default)
diff --git a/infer/src/base/Config.ml b/infer/src/base/Config.ml
index 29325296c..df4354bca 100644
--- a/infer/src/base/Config.ml
+++ b/infer/src/base/Config.ml
@@ -1420,11 +1420,6 @@ and icfg_dotty_outfile =
      other options that would generate icfg file otherwise"
 
 
-and ignore_trivial_traces =
-  CLOpt.mk_bool ~long:"ignore-trivial-traces" ~default:false
-    "Ignore traces whose length is at most 1"
-
-
 and iphoneos_target_sdk_version =
   CLOpt.mk_string_opt ~long:"iphoneos-target-sdk-version"
     ~in_help:InferCommand.[(Capture, manual_clang_linters)]
@@ -2689,8 +2684,6 @@ and hoisting_report_only_expensive = !hoisting_report_only_expensive
 
 and icfg_dotty_outfile = !icfg_dotty_outfile
 
-and ignore_trivial_traces = !ignore_trivial_traces
-
 and immutable_cast = !immutable_cast
 
 and iphoneos_target_sdk_version = !iphoneos_target_sdk_version
@@ -2698,7 +2691,6 @@ and iphoneos_target_sdk_version = !iphoneos_target_sdk_version
 and iphoneos_target_sdk_version_path_regex =
   process_iphoneos_target_sdk_version_path_regex !iphoneos_target_sdk_version_path_regex
 
-
 and issues_fields = !issues_fields
 
 and issues_tests = !issues_tests
diff --git a/infer/src/base/Config.mli b/infer/src/base/Config.mli
index 65219305d..2aa064542 100644
--- a/infer/src/base/Config.mli
+++ b/infer/src/base/Config.mli
@@ -392,8 +392,6 @@ val hoisting_report_only_expensive : bool
 
 val icfg_dotty_outfile : string option
 
-val ignore_trivial_traces : bool
-
 val immutable_cast : bool
 
 val infer_is_clang : bool