From 95f918c38b1e59f40ae7af455ec2c6746289375e Mon Sep 17 00:00:00 2001 From: Pierre Goutagny Date: Thu, 17 Jun 2021 17:31:10 +0200 Subject: Change "Tunneling" to "LTLTunneling" everywhere To respect the symmetry between RTL- and LTL-Tunneling --- driver/Compiler.vexpand | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'driver') diff --git a/driver/Compiler.vexpand b/driver/Compiler.vexpand index a751b232..952bed22 100644 --- a/driver/Compiler.vexpand +++ b/driver/Compiler.vexpand @@ -308,7 +308,7 @@ EXPAND_RTL_FORWARD_SIMULATIONS eapply compose_forward_simulations. eapply Allocationproof.transf_program_correct; eassumption. eapply compose_forward_simulations. - eapply Tunnelingproof.transf_program_correct; eassumption. + eapply LTLTunnelingproof.transf_program_correct; eassumption. eapply compose_forward_simulations. eapply Linearizeproof.transf_program_correct; eassumption. eapply compose_forward_simulations. -- cgit