From 78c4974c0a362cd0ab3bbd80203c0277d267afbb Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Thu, 5 Mar 2020 16:57:54 +0100 Subject: streamlined lattice code --- driver/Compiler.v | 1 + 1 file changed, 1 insertion(+) (limited to 'driver') diff --git a/driver/Compiler.v b/driver/Compiler.v index 499feff2..294aad1f 100644 --- a/driver/Compiler.v +++ b/driver/Compiler.v @@ -43,6 +43,7 @@ Require Constprop. Require CSE. Require ForwardMoves. Require CSE2. +Require CSE3. Require Deadcode. Require Unusedglob. Require Allnontrap. -- cgit