From 50ea7732118611a38e6aa6bced5c60dffb4eea3a Mon Sep 17 00:00:00 2001
From: Cyril SIX <cyril.six@kalray.eu>
Date: Tue, 27 Oct 2020 12:07:49 +0100
Subject: Reworked Duplicate to be parametrized

---
 driver/Compiler.vexpand | 1 +
 1 file changed, 1 insertion(+)

(limited to 'driver')

diff --git a/driver/Compiler.vexpand b/driver/Compiler.vexpand
index 0f59aab7..00db9b36 100644
--- a/driver/Compiler.vexpand
+++ b/driver/Compiler.vexpand
@@ -35,6 +35,7 @@ Require Cshmgen.
 Require Cminorgen.
 Require Selection.
 Require RTLgen.
+Require Import Duplicatepasses.
 EXPAND_RTL_REQUIRE
 Require Asmgen.
 (** Proofs of semantic preservation. *)
-- 
cgit