From b91f6db17ee30efd2068efbeecbf1d2b4c3850ea Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Thu, 9 Dec 2021 20:06:34 +0000 Subject: Add bourdoncle to build --- src/hls/Pipeline.v | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/hls/Pipeline.v') diff --git a/src/hls/Pipeline.v b/src/hls/Pipeline.v index 7f1485a..67ab1f5 100644 --- a/src/hls/Pipeline.v +++ b/src/hls/Pipeline.v @@ -16,7 +16,7 @@ * along with this program. If not, see . *) -Require Import compcert.lib.Maps. +(*Require Import compcert.lib.Maps. Require Import compcert.common.AST. Require Import compcert.backend.RTL. @@ -26,3 +26,4 @@ Definition transf_fundef := transf_fundef pipeline. Definition transf_program : program -> program := transform_program transf_fundef. +*) -- cgit