From 95f918c38b1e59f40ae7af455ec2c6746289375e Mon Sep 17 00:00:00 2001
From: Pierre Goutagny <pierre.goutagny@ens-lyon.fr>
Date: Thu, 17 Jun 2021 17:31:10 +0200
Subject: Change "Tunneling" to "LTLTunneling" everywhere

To respect the symmetry between RTL- and LTL-Tunneling
---
 backend/Tunnelinglibs.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'backend/Tunnelinglibs.ml')

diff --git a/backend/Tunnelinglibs.ml b/backend/Tunnelinglibs.ml
index 1bb35f7a..7c826ba4 100644
--- a/backend/Tunnelinglibs.ml
+++ b/backend/Tunnelinglibs.ml
@@ -16,7 +16,7 @@
 This file implements the core functions of the tunneling passes, for both RTL
 and LTL, by using a simplified CFG as a transparent interface
 
-See [Tunneling.v] and [RTLTunneling.v]
+See [LTLTunneling.v] and [RTLTunneling.v]
 
 *)
 
-- 
cgit