diff options
Diffstat (limited to 'utils/clflags.ml')
| -rw-r--r-- | utils/clflags.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/utils/clflags.ml b/utils/clflags.ml index 46b61f418b..83bd357f15 100644 --- a/utils/clflags.ml +++ b/utils/clflags.ml @@ -135,7 +135,6 @@ let profile_columns : Profile.column list ref = ref [] (* -dprofile/-dtimings *) let native_code = ref false (* set to true under ocamlopt *) -let force_tmc = ref false (* -force-tmc *) let force_slash = ref false (* for ocamldep *) let clambda_checks = ref false (* -clambda-checks *) let cmm_invariants = |