From 6c5580d5507f1ead545153e6d34c89998c61c302 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Th=C3=A9ophile=20Bastian?= <contact@tobast.fr>
Date: Thu, 15 Feb 2018 22:02:04 +0100
Subject: [PATCH] Explicit exit continuation's name

---
 src/CPS.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/CPS.ml b/src/CPS.ml
index d7c8767..3223ad6 100644
--- a/src/CPS.ml
+++ b/src/CPS.ml
@@ -69,6 +69,6 @@ let rec cps_term_inner (t: S.term) (cont: T.variable) (nameHint: string option)
 let cps_term (t: S.term): T.term =
     (** Entry point. Transforms a [Lambda] term into a [Tail] term, applying a
      * continuation-passing-style transformation. *)
-    let exitBlock = freshBlockVar () in
+    let exitBlock = freshBlockVarHinted (Some "exit") in
     letCont exitBlock (freshVar ()) T.Exit @@
         cps_term_inner t exitBlock (Some "main_entry")