From e76b8244db0c8394eb9f62a573ea0f511bd8db31 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Thu, 5 Mar 2020 21:26:01 +0100
Subject: CSE3 generate lists of killable

---
 driver/Compiler.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'driver')

diff --git a/driver/Compiler.v b/driver/Compiler.v
index 294aad1f..a641587c 100644
--- a/driver/Compiler.v
+++ b/driver/Compiler.v
@@ -43,7 +43,7 @@ Require Constprop.
 Require CSE.
 Require ForwardMoves.
 Require CSE2.
-Require CSE3.
+Require CSE3analysis.
 Require Deadcode.
 Require Unusedglob.
 Require Allnontrap.
-- 
cgit