diff options
Diffstat (limited to 'compiler/Config.ml')
| -rw-r--r-- | compiler/Config.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/Config.ml b/compiler/Config.ml index 3e882365..b37d4a84 100644 --- a/compiler/Config.ml +++ b/compiler/Config.ml @@ -82,7 +82,7 @@ let return_unit_end_abs_with_no_loans = true thus use this bound to detect a loop, fail and report the case to the user. *) -let loop_fixed_point_max_num_iters = 100 +let loop_fixed_point_max_num_iters = 2 (** {1 Translation} *) |