summaryrefslogtreecommitdiff
path: root/bytecomp/lambda.ml
diff options
context:
space:
mode:
authoralainfrisch <alain@frisch.fr>2017-11-29 18:08:10 +0100
committeralainfrisch <alain@frisch.fr>2017-12-01 10:13:48 +0100
commit0ee044895ea4f1f04a8e4bf46044e97dcbf1eb8b (patch)
tree2f745a7c5bf976f31da6eea311c7aba8e0075bd4 /bytecomp/lambda.ml
parent8489efb58e78301edcd87f0d7545c7b16500732b (diff)
downloadocaml-fix_7680.tar.gz
Get rid of redundant machinery.fix_7680
Diffstat (limited to 'bytecomp/lambda.ml')
-rw-r--r--bytecomp/lambda.ml6
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,[])