From f00a195ac17fe47047fafc183663a96ec4125f0d Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Wed, 23 Mar 2022 09:47:56 +0000 Subject: Change origin of tangled files --- src/hls/RTLBlock.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/hls/RTLBlock.v') diff --git a/src/hls/RTLBlock.v b/src/hls/RTLBlock.v index 4fae701..539d5bc 100644 --- a/src/hls/RTLBlock.v +++ b/src/hls/RTLBlock.v @@ -16,7 +16,7 @@ * along with this program. If not, see . *) -(* [[file:../../lit/scheduling.org::rtlblock-main][rtlblock-main]] *) +(* [[file:../../lit/scheduler-languages.org::rtlblock-main][rtlblock-main]] *) Require Import compcert.backend.Registers. Require Import compcert.common.AST. Require Import compcert.common.Events. -- cgit