diff options
author | alainfrisch <alain@frisch.fr> | 2017-11-29 18:08:10 +0100 |
---|---|---|
committer | alainfrisch <alain@frisch.fr> | 2017-12-01 10:13:48 +0100 |
commit | 0ee044895ea4f1f04a8e4bf46044e97dcbf1eb8b (patch) | |
tree | 2f745a7c5bf976f31da6eea311c7aba8e0075bd4 /bytecomp/lambda.ml | |
parent | 8489efb58e78301edcd87f0d7545c7b16500732b (diff) | |
download | ocaml-fix_7680.tar.gz |
Get rid of redundant machinery.fix_7680
Diffstat (limited to 'bytecomp/lambda.ml')
-rw-r--r-- | bytecomp/lambda.ml | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/bytecomp/lambda.ml b/bytecomp/lambda.ml index d6f91ef0b1..7c9e44a54e 100644 --- a/bytecomp/lambda.ml +++ b/bytecomp/lambda.ml @@ -496,12 +496,6 @@ let next_raise_count () = incr raise_count ; !raise_count -let negative_raise_count = ref 0 - -let next_negative_raise_count () = - decr negative_raise_count ; - !negative_raise_count - (* Anticipated staticraise, for guards *) let staticfail = Lstaticraise (0,[]) |